Verimag

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.0.26 + AHUNTSIC [CC License]

info visites 913447