Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Ghiles Ziat"'
Autor:
Julien Alexandre Dit Sandretto, Olivier Mullier, Ghiles Ziat, Xavier Thirioux, Christophe Garion, Alexandre Chapoutot
Publikováno v:
NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩
NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩
Cyber-physical systems (CPSs), as cruise control systems, involve life-critical or mission critical functions that must be validated. Formal verification techniques can bring high assurance level but have to be extended to embrace all the components
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b02c5c3799487b1d302eb511ba99a38
https://oatao.univ-toulouse.fr/27229/
https://oatao.univ-toulouse.fr/27229/
Publikováno v:
Principles and Practice of Constraint Programming-24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
Lecture Notes in Computer Science ISBN: 9783319983332
CP
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Principles and Practice of Constraint Programming
CP 2018-24th International Conference on Principles and Practice of Constraint Programming
CP 2018-24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.1-16
Lecture Notes in Computer Science ISBN: 9783319983332
CP
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Principles and Practice of Constraint Programming
CP 2018-24th International Conference on Principles and Practice of Constraint Programming
CP 2018-24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.1-16
International audience; In continuous constraint programming, the solving process alternates propagation steps, which reduce the search space according to the constraints, and branching steps. In practice, the solvers spend a lot of computation time
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f792f2133214fe2629b902c22cb7b1ab
