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, dans 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
Titre de l'ouvrage
Systèmes temps réel 1 : Techniques de description et de vérification
Auteurs de l’ouvrage
N. Navet
Éditeur
Hermes/Lavoisier
Isbn
2-7462-1303-6
Nombre de pages
370
Pages
261-292
Métadonnées
Afficher la notice complète
Auteur(s)
Haddad, Serge
Moreaux, Patrice
Mots-clés
Temps réel (informatique); Ingénierie des systèmes; systèmes probabilisés