MeFoSyLoMaRSS

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


06/03/2015
Intervenant(s) : 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
Plus d'informations ici
Fabrice.Kordon (at) nulllip6.fr
 Mentions légales
Carte du site |