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


2012   

Conference papers2 documents

  • Christophe Chareton, Julien Brunel, David Chemouil. Vers une sémantique des jeux pour un langage d'ingénierie des exigences par buts et agents. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2012, France. ⟨hal-00782773⟩
  • Maria Piriquito, Pierre Bieber, Julien Brunel, David Chemouil. Une vue sûreté de fonctionnement pour la vérification d'architectures abstraites. Conférence francophone sur les architectures logicielles, 2012, Montpellier, France. ⟨hal-00785494⟩