- 2
Christian Attiogbé
Full Professor,
Nantes University -
Computer Science Department IUT Nantes -
LS2N (UMR CNRS 6004)
2
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
- 2
- 2
- 2
- 2
- 2
- 2
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)Université de Nantes, pp.147, 2008
Ouvrages
hal-00483735v1
|
|
From Research to Teaching Formal Methods: The B Method - TFM-B'2009Université de Nantes, pp.134, 2008
Ouvrages
hal-00481604v1
|