MeFoSyLoMa
Méthodes Formelles pour les Systèmes Logiciels et Matériels
Vendredi 14 octobre 2005Thomas Vergnaud, Sami Evangelista
14h-14h45 : Thomas Vergnaud (ENST) : « AADL, un langage pour la modélisation et la génération automatique d'applications » 14h45-15h30 : Sami Evangelista (CNAM) : « Model Checking High Level Petri Net Specifications with Helena » 15h30-16h : pause 16h-17h : Discussion des points suivants avec les personnes intéressées - Le site du séminaire - La conférence jointe avec le CNAM en novembre-décembre 2006 - Le livre "Mefosyloma" - La proposition d'organisation d'ATPN pour 2009 ou 2010
Plus d'informations ici …
berard (at) nulllamsade.dauphine.fr