Evènement pour le groupe
Modélisation et Verification
Date | 2014-10-23 11:00-12:00 |
Titre | IC3: model checking avec SAT |
Résumé | |
Lieu | 075 |
Orateur | Igor Walukiewicz & Laurent Simon |
Email | igw@labri.fr, laurent.simon@labri.fr |
Url | LaBRI |
Aucun document lié à cet événement.
RetourRetour à l'index