LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Links » Eventi organizzati dal LIP6

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 |