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

andre-p
"mottu-jm"
Image document

Combining Techniques to Verify Service-based Components

Pascal Andre , Christian Attiogbe , Jean-Marie Mottu
MODELSWARD 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