Filter your results
- 3
- 3
- 3
- 1
- 2
- 3
- 3
- 3
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
USE OF MODELLING METHODS AND TOOLS IN AN INDUSTRIAL EMBEDDED SYSTEM PROJECT: WORKS AND FEEDBACKEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263442v1
|
||
|
Formal Software Verification at Model and at Source Code Levels2nd 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
|
||
|
Use of formal methods in embedded software development: stakes, constraints and proposalEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Conference papers
hal-02272049v1
|