MeFoSyLoMa
Méthodes Formelles pour les Systèmes Logiciels et Matériels
Vendredi 2 décembre 2005Alban Linard, Christophe Pajault
14:00-14:45 : Alban Linard : Dépliage efficace de réseaux de Petri Colorés 14:45-15:15: Christophe PAJAULT : Méthodes de vérification parallèle de systèmes concurrents 15:15-15h45: pause café 15:45-17:00: Discussion des points suivants avec les personnes intéressées * Le livre "Mefosyloma" * La proposition d'organisation ICATPN 2009 ou 2010 * L'organisation de FORTE 2006
Plus d'informations ici …
hugues (at) nullinfres.enst.fr