- 1
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
- christian-attiogbe
- 0000-0002-7815-1752
- IdRef : 073264555
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
- 1
- 1
- 1
- 1
- 1
- 1
|
Model checking paramétrique statistique du plan de vol de drone civilMSR 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
|