OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > SYSTEREL (FRANCE)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 5.

Ge, Ning and Dieumegard, Arnaud and Jenn, Eric and D'Ausbourg, Bruno and Aït-Ameur, Yamine Formal development process of safety critical embedded human machine interface systems. (2018) In: TASE (11th International Symposium on Theoretical Aspects of Software Engineering), 13 September 2017 - 15 September 2017, Sophia Antipolis (France) (Sophia Antipolis, France).

Dieumegard, Arnaud and Ge, Ning and Jenn, Eric Event-B at work: some lessons learnt from an application to a robot anti-collision function. (2017) In: NFM (9th NASA Formal Methods Symposium) Formal Methods Symposium, 16 May 2017 - 18 May 2017 (Moffett Field, United States).

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

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 Wed Oct 16 04:29:33 2019 CEST.