Evènement pour le groupe Modélisation et Verification


Date 2014-10-23  11:00-12:00
TitreIC3: model checking avec SAT 
Résumé 
Lieu075 
OrateurIgor Walukiewicz & Laurent Simon 
Emailigw@labri.fr, laurent.simon@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index