Accéder directement au contenu

Christian Attiogbé

Full Professor, Nantes University - Computer Science Department IUT Nantes - LS2N (UMR CNRS 6004)
100%
Libre accès
1
Documents
Affiliations actuelles
  • 1135126
  • 1097347
Identifiants chercheurs
Contact

Présentation

Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).
Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).

Domaines de recherche

Génie logiciel [cs.SE]

Compétences

Languages - Operating Systems - Networks - Formal methods for Software Engineering

Publications

didier-lime
Image document

Model checking paramétrique statistique du plan de vol de drone civil

Ran Bao , Christian Attiogbe , Paulin Fournier , Didier Lime
MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Communication dans un congrès hal-02432687v1