Vérification de propriétés spécifiques
Haddad, Serge; Vernadat, François (2003), Vérification de propriétés spécifiques, in Diaz, Michel, Vérification et mise en œuvre des réseaux de Petri, Hermès Science : Lavoisier : Paris, p. 31-96
Type
Chapitre d'ouvrageDate
2003Book title
Vérification et mise en œuvre des réseaux de PetriBook author
Diaz, MichelPublisher
Hermès Science : Lavoisier
Published in
Paris
ISBN
2-7462-0445-2
Number of pages
389Pages
31-96
Metadata
Show full item recordSubjects / Keywords
Réseaux de Petri; Systèmes informatiques; Modèles mathématiquesRelated items
Showing items related by title and author.
-
Haddad, Serge; Pradat-Peyre, Jean-François (2006) Article accepté pour publication ou publié
-
Haddad, Serge (2006) Chapitre d'ouvrage
-
Haddad, Serge; Moreaux, Patrice (2006) Chapitre d'ouvrage
-
Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
-
Haddad, Serge (2002) Chapitre d'ouvrage