MeFoSyLoMa
Méthodes Formelles pour les Systèmes Logiciels et Matériels
Friday, November 14, 2008Stéphane Demri (LSV, ENS de Cachan); Alban Linard (LIP6/UPMC)
Premier exposé : Logiques temporelles pour les séquences d'états mémoire.
Deuxième exposé : Un framework pour les diagrammes de décision : application à la génération d'espaces d'état pour les réseaux de Petri symétriques.
More details here …
haddad (at)
nulllsv.ens-cachan.fr