Search - ONERA - Office national d'études et de recherches aérospatiales Access content directly

Filter your results

3 Results
Structure: Internal structure identifier : 216330
Image document

USE OF MODELLING METHODS AND TOOLS IN AN INDUSTRIAL EMBEDDED SYSTEM PROJECT: WORKS AND FEEDBACK

Anthony Fernandes Pires , Stéphane Duprat , Tristan Faure , Cédrik Besseyre , Jack Beringuier et al.
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263442v1
Image document

Formal Software Verification at Model and at Source Code Levels

Anthony Fernandes Pires , Thomas Polacsek , Stéphane Duprat
2nd International Conference on Model & Data Engineering (MEDI'2012), Oct 2012, France. pp.162-169, ⟨10.1007/978-3-642-33609-6_16⟩
Conference papers hal-00797091v1
Image document

Use of formal methods in embedded software development: stakes, constraints and proposal

Anthony Fernandes Pires , Thomas Polacsek , Virginie Wiels , Stéphane Duprat
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Conference papers hal-02272049v1