Accueil > Verimag > Séminaires

Détails sur le séminaire


Grande Salle de VERIMAG
16 février 2010 - 14h00
Automated Invariant Generation for the Verification of Real-Time Systems
par Bahareh Badban de University of Konstanz



Résumé :





Actualités

Séminaires

Nouvelles publications

Offres d'emploi et stages

Contact | Plan du site | Site réalisé avec SPIP 4.4.23 + AHUNTSIC [CC License]

info visites 9267456