Accéder directement au contenu

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

"martin-strecker"
Image document

Towards the verification of model transformations

Jean-Paul Bodeveix , David Chemouil , M Filali , Nathalie Lalevee , Martin Strecker
3rd 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 Assistants

Jean-Paul Bodeveix , David Chemouil , M Filali , Martin Strecker
Formal 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