OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Breton, Nicolas"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Article

Ge, Ning and Jenn, Eric and Breton, Nicolas and Fonteneau, Yoann. Integrated formal verification of safety-critical software. (2017) International Journal on Software Tools for Technology Transfer. 1 - 18. ISSN 1433-2779

Conference or Workshop Item

Ge, Ning and Jenn, Eric and Breton, Nicolas and Fonteneau, Yoann. Formal Verification of a Rover Anti-collision System. (2016) In: FMICS-AVoCS 2016, 26 September 2016 - 28 September 2016 (Pisa, Italy).

Clabaut, Mathieu and Ge, Ning and Breton, Nicolas and Jenn, Eric and Delmas, Rémi and Fonteneau, Yoann. Industrial grade model checking: use Cases, constraints, tools and applications. (2016) In: ERTS2 2016 (Embedded Real Time Software and Systems), 27 January 2016 - 29 January 2016 (Toulouse, France).

This list was generated on Fri Aug 7 00:24:53 2020 CEST.