|
Titre :
|
Systèmes temps réel. 1 : Techniques de description et de vérification
|
|
Auteurs :
|
Nicolas Navet, Directeur de publication
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Hermes Science publications, 2006
|
|
Autre Editeur :
|
Lavoisier
|
|
Collection :
|
IC2
|
|
Sous-collection :
|
Informatique et système d'information
|
|
ISBN/ISSN/EAN :
|
978-2-7462-1303-6
|
|
Format :
|
370 p.-VII / graph. / 24 cm.
|
|
Note générale :
|
Bibliogr., Index
|
|
Langues:
|
Français
|
|
Index. décimale :
|
004.3 (Modes de traitement)
|
|
Catégories :
|
Traitement des données
|
|
Résumé :
|
Analyse des principaux formalismes et des outils logiciels associés qui offrent des solutions pour spécifier un système temps réel et vérifier, avant le déploiement du système, le respect des propriétés attendues.
|
Accueil
