MeFoSyLoMaRSS

Méthodes Formelles pour les Systèmes Logiciels et Matériels

03/06/2015
Relatore/i : Didier Buchs, Edmundo Lopez : Université de Genève
14h00: Didier Buchs Université de Genève, "Construire un outil de vérification symbolique depuis une description formelle d’un langage: Diagrammes de décisions et techniques opérationnelles"
15h00 : Edmundo LopezUniversité de Genève, "Construire un outil de vérification symbolique depuis une description formelle d’un langage: Traduire une description formelle en techniques opérationnelles"
15h30-16h00: pause café
16h00-16h30: vie du groupe

Maggiori dettagli qui …
Fabrice.Kordon (at) nulllip6.fr
Mentions légales
Mappa del sito