MeFoSyLoMaRSS

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

Friday, March 6, 2015
Speaker(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


More details here …
Fabrice.Kordon (at) nulllip6.fr