MeFoSyLoMaRSS

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


20/01/2006
Intervenant(s) : Sébastien Bardin, Houda Bel Mokadem
14:00-15:00 : Sébastien Bardin (LSV): FAST : théorie et pratique de l'accélération 15:00-15:30: Houda Bel Mokadem (LSV) : Vérification presque partout de propriétés temporisées 15:30-16:00: pause café 16:00-17:00: Discussion des points suivants avec les personnes intéressées * Le livre "Mefosyloma" (point) * L'organisation de FORTE 2006 (point) * La proposition d'organisation ICATPN 2009 ou 2010 (discussion)
Plus d'informations ici
Fabrice.Kordon (at) nulllip6.fr
 Mentions légales
Carte du site |