LIP6 » Links » Eventi organizzati dal LIP6
MeFoSyLoMa
Méthodes Formelles pour les Systèmes Logiciels et Matériels
01/20/2006Relatore/i :
Sébastien Bardin, Houda Bel Mokadem14: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)
Maggiori dettagli qui
Fabrice.Kordon (at) nulllip6.fr