- 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
- 1
- 1
- 1
- 1
- 1
- 1
|
Combining Techniques to Verify Service-based ComponentsMODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development , Feb 2017, Porto, Portugal. pp.645 - 656, ⟨10.5220/0006212106450656⟩
Communication dans un congrès
hal-01628303v1
|