Vérification de propriétés spécifiques
Haddad, Serge; Vernadat, François (2003), Vérification de propriétés spécifiques, dans 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
2003Titre de l'ouvrage
Vérification et mise en œuvre des réseaux de PetriAuteurs de l’ouvrage
Diaz, MichelÉditeur
Hermès Science : Lavoisier
Ville d’édition
Paris
Isbn
2-7462-0445-2
Nombre de pages
389Pages
31-96
Métadonnées
Afficher la notice complèteMots-clés
Réseaux de Petri; Systèmes informatiques; Modèles mathématiquesPublications associées
Affichage des éléments liés par titre et auteur.
-
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