Accéder directement au contenu

Christian Attiogbé

Full Professor, Nantes University - Computer Science Department IUT Nantes - LS2N (UMR CNRS 6004)
80%
Libre accès
5
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
"lanoix-a"
Image document

Systematic Construction of Critical Embedded Systems Using Event-B

Pascal Andre , Christian Attiogbé , Arnaud Lanoix
New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. ⟨10.1007/978-3-030-02852-7_18⟩
Communication dans un congrès hal-01929259v1

Contract-based Verification of Kmelia Component Assemblies using Event-B

Pascal André , Gilles Ardourel , Christian Attiogbe , Arnaud Lanoix
FESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1
Communication dans un congrès hal-00483755v1
Image document

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies

Pascal Andre , Gilles Ardourel , Christian Attiogbé , Arnaud Lanoix
6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands
Communication dans un congrès hal-00423672v1