MeFoSyLoMaRSS

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

06/10/2006
المتدخلون) المتدخل) : Claude Jard (ENS Cachan), Souheib Baarir (LIP6)
1- La supervision des systèmes répartis, fondée sur le dépliage de modèles de réseau de Petri symboliques et temporisés. (Claude Jard)
2- Emptiness check of Powerset Büchi Automata using inclusion tests : Application to Well-Formed Nets (Souheib Baarir in joint work with Alexandre Duret-Lutz)

لمعلومات أكـثر أنقـر هنا
Serge.Haddad (at) nulldauphine.fr
Mentions légales
خـريـطـة المـوقـع