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

fabien-dagnat
Image document

Towards a categorical framework to ensure correct software evolutions

Sylvain Bouveret , Julien Brunel , David Chemouil , Fabien Dagnat
Workshop 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