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

Filter your results

3 Results
authFullName_s : V. Wiels
Image document

Towards Modular and Certified Avionics for UAV Aerial Robotics

F. Boniol , V. Wiels
Aerospace Lab, 2014, 8, pp.1-8. ⟨10.12762/2014.AL08-02⟩
Journal articles hal-01102364v1
Image document

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

A. Fernandes-Pires , T. Polacsek , V. Wiels , S. Duprat
EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS 2014), Feb 2014, TOULOUSE, France
Conference papers hal-01102152v1
Image document

STELAE - A Model-Driven Test Development Environment for Avionics Systems

Alexandru Robert Ciprian Guduvan , Hélène Waeselynck , V. Wiels , Gaël Durrieu , Yann Fusero , et al.
IEEE ISORC 2013, Jun 2013, PADEBORN, Germany. 8p
Conference papers hal-01057937v1