J. Christian Attiogbé
Professeur des universités 

Université de Nantes / Dpt Informatique IUT
Laboratoire d'Informatique de Nantes-Atlantique
LINA - UMR CNRS 6241 - Fédération AtlanSTIC FR CNRS 2819


Bienvenue sur mes pages professionnelles / welcome / bienvenidos

Thème de Recherche / Research Topics


Méthodes formelles, spécification, vérification
Développement formel et outils associés
Systèmes concurrents distribués et interactifs/réactifs

Formal Methods, Specification and Verification
 Formal Development and Related Tools
Interactive, Distributed, Concurrent System Design

Activités et travaux de recherche / Research activities

NaBLA Atacora Costo

Enseignement / Teaching

Polycopiés des enseignements, docs, etc --- Plateforme Moodle

Département Informatique IUT --- Département Informatique UFR Sciences

Divers / Misc

Plan d'accès à la faculté

              Nantes     

                   Divers            



Adresse / Surface Address
LINA  -  Faculté des sciences 
2, rue de la Houssinière 
BP 92208 
44 322 Nantes Cedex 3

Téléphone / Phone 
Bureau       : (+33 2)/(02) 51 12 58 18 (lina)
                     (+33 2)/(02) 40 30 60 56 (iut)
Sécrétariat : (+33 2)/(02) 51 12 58 00 
Fax              : (+33 2)/(02) 51 12 58 12
email :  fisrtname.lastname@univ-nantes.fr



Mise à jour : 13 octobre 2010