J. C. Attiogbé

Equipe  AeLoS Architectures et Logiciels Sûrs
 (Reliable Components and Software)



Publications 

Thesis Supervision and Examination

Event Organisation

Conference Program Committees
CSDM'13 (Complex Systems Design & Management)
CAL'13 (
Conférence Francophone sur les Architectures Logicielles)
FACS'12
(Formal Aspects of Component Software)

Tools and frameworks development

Projects  NaBLA Atacora PN2B Costo Cocimus RelAx








Formal Methods

Formal Methods Poster

Links (Tools, etc)

FM Education Resources

Turing Awards(ACM)

Events & Conf.(ACM)  

IEEE calendar




Home Page (Christian Attiogbé)
Derinière modification : 22 Janvier 2013