Accéder directement au contenu

David Chemouil

Directeur de recherches ONERA DTIS
1
Documents
Site web
  • http://www.onera.fr/staff/david-chemouil

Domaines de recherche

Logique en informatique [cs.LO] Génie logiciel [cs.SE]

Publications

thomas-hujsa
Image document

Proposition of an Action Layer for Electrum

Julien Brunel , David Chemouil , Alcino Cunha , Thomas Hujsa , Nuno Macedo
6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, Jun 2018, Southampton, United Kingdom. pp.397-402, ⟨10.1007/978-3-319-91271-4_30⟩
Communication dans un congrès hal-01774920v1