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
|
Towards a categorical framework to ensure correct software evolutionsWorkshop on Hot Topics in Software Upgrades, Apr 2011, Hannover, Germany. pp.139-144, ⟨10.1109/ICDEW.2011.5767625⟩
Communication dans un congrès
hal-00785433v1
|