Thumbnail - Request a copy

Issues in Verification

Haddad, Serge (2002), Issues in Verification, dans C. Girault, R. Valk, Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications, Springer-Verlag : Berlin, p. 183-200

Type
Chapitre d'ouvrage
Date
2002
Titre de l'ouvrage
Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications
Auteurs de l’ouvrage
C. Girault, R. Valk
Éditeur
Springer-Verlag
Ville d’édition
Berlin
Isbn
3-540-41217-4
Nombre de pages
607 p.
Pages
183-200
Métadonnées
Afficher la notice complète
Auteur(s)
Haddad, Serge
Mots-clés
Méthodes formelles (informatique); Réseaux de Pétri