J. C. Attiogbé
Equipe AeLoS (ex COLOSS) Architectures et Logiciels Sûrs (Reliable Components and Software)
Thèmes de recherche : Génie logiciel, Développement formel Méthodes et spécifications formelles - Outils de développement formel - Systèmes concurrents et distribués
Main publications
Tool and plateform development
Thesis Supervision and Examination
Event Organisation
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 : 25 septembre 2011
