LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Links » LIP6 events

MeFoSyLoMaRSS

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


11/14/2008
Speaker(s) : Sté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
 Mentions légales
Site map |