Thumbnail - Request a copy

Vérification de systèmes probabilisés : méthodes et outils

Haddad, Serge; Moreaux, Patrice (2006), Vérification de systèmes probabilisés : méthodes et outils, in N. Navet, Systèmes temps réel 1 : Techniques de description et de vérification, Hermes/Lavoisier, p. 261-292

Type
Chapitre d'ouvrage
Date
2006
Book title
Systèmes temps réel 1 : Techniques de description et de vérification
Book author
N. Navet
Publisher
Hermes/Lavoisier
ISBN
2-7462-1303-6
Number of pages
370
Pages
261-292
Metadata
Show full item record
Author(s)
Haddad, Serge
Moreaux, Patrice
Subjects / Keywords
Temps réel (informatique); Ingénierie des systèmes; systèmes probabilisés