Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Monate, Benjamin"'
Autor:
Khazen, Marwan Wehaiba El, Amor, Slim Ben, Cucu-Grosjean, Liliana, Dumérat, Arnaud, Jean, Xavier, Kougblenou, Kossivi, Monate, Benjamin
Publikováno v:
ERTS 2022-Embedded Real Time Systems
ERTS 2022-Embedded Real Time Systems, Apr 2022, Toulouse, France
ERTS 2022-Embedded Real Time Systems, Apr 2022, Toulouse, France
International audience; In this paper, we present our ongoing work on verification activities of the software used in a safety-critical embedded system dedicated to autonomous vehicles. These activities are focused on the use of formal methods for th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::1525c4d1b780623e136a34b84083cea2
https://inria.hal.science/hal-04005696
https://inria.hal.science/hal-04005696
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Verified Software: Theories, Tools, Experiments (9783642277047); 2012, p2-17, 16p
Autor:
Cuoq, Pascal, Monate, Benjamin, Pacalet, Anne, Prevosto, Virgile, Regehr, John, Yakobowski, Boris, Yang, Xuejun
Publikováno v:
NASA Formal Methods (9783642288906); 2012, p120-125, 6p
Publikováno v:
Logic for Programming, Artificial Intelligence & Reasoning (9783642162411); 2010, p387-401, 15p
Autor:
Cuoq, Pascal, Signoles, Julien, Baudin, Patrick, Bonichon, Richard, Canet, Géraud, Correnson, Loïc, Monate, Benjamin, Prevosto, Virgile, Puccetti, Armand
Publikováno v:
Proceedings of the 14th ACM SIGPLAN International Conference: Functional Programming; 8/31/2009, p281-286, 6p
Autor:
Monate, Benjamin, Signoles, Julien
Publikováno v:
Trusted Computing - Challenges & Applications; 2008, p133-142, 10p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Rewriting Techniques & Applications (9783540677789); 2000, p80-94, 15p
Publikováno v:
International Journal on Software Tools for Technology Transfer; Oct2011, Vol. 13 Issue 5, p405-417, 13p