Number of documents

2

David Chemouil's (and Co-author's) Publications


Computer Science Researcher at ONERA DTIS, Toulouse.

Link to my professional web page: http://www.onera.fr/staff/david-chemouil


2005   

Journal articles1 document

Conference papers1 document

  • Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker. Towards formalising AADL in Proof Assistants. 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⟩. ⟨hal-00784959⟩