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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Proposition of an Action Layer for Electrum6th 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
|