Filter your results
- 3
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Towards Modular and Certified Avionics for UAV Aerial RoboticsAerospace Lab, 2014, 8, pp.1-8. ⟨10.12762/2014.AL08-02⟩
Journal articles
hal-01102364v1
|
||
|
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-01102152v1
|
||
|
STELAE - A Model-Driven Test Development Environment for Avionics SystemsIEEE ISORC 2013, Jun 2013, PADEBORN, Germany. 8p
Conference papers
hal-01057937v1
|