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


2017   

Conference papers2 documents

  • Christophe Chareton, Julien Brunel, David Chemouil. Sur l’assignation de buts comportementaux à des coalitions d’agents. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-01863437⟩
  • Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg. Spécification légère et analyse de systèmes dynamiques munis de configurations riches. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-02077323⟩