David Chemouil
Directeur de recherches ONERA DTIS
2
Documents
Site web
- http://www.onera.fr/staff/david-chemouil
Domaines de recherche
Logique en informatique [cs.LO]
Génie logiciel [cs.SE]
Publications
- 1
- 1
- 2
- 2
- 2
- 1
|
Towards the verification of model transformations3rd Conference on Embedded Real Time Software and Systems (ERTS 2006), Jan 2006, Toulouse, France
Communication dans un congrès
hal-02270435v1
|
Towards formalising AADL in Proof AssistantsFormal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩
Communication dans un congrès
hal-00784959v1
|