Thumbnail - Request a copy

Issues in Verification

Haddad, Serge (2002), Issues in Verification, in 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
Book title
Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications
Book author
C. Girault, R. Valk
Publisher
Springer-Verlag
Published in
Berlin
ISBN
3-540-41217-4
Number of pages
607 p.
Pages
183-200
Metadata
Show full item record
Author(s)
Haddad, Serge
Subjects / Keywords
Méthodes formelles (informatique); Réseaux de Pétri