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é :





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

info visites 1876598