Evènement pour le groupe Modélisation et Verification


Date 2014-11-27  11:00-12:00
TitreIC3: model checking avec SAT, 2ème partie 
Résumé 
Lieu076 
OrateurIgor Walukiewicz & Laurent Simon 
Emailigw@labri.fr, laurent.simon@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index