GEOTRUST SSL CERTIFICATE
| Titre : | Systèmes temps réel |
| Titre de série : | Systèmes temps réel, 1 |
| Auteurs : | Nicolas Navet, Metteur en scène, réalisateur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermès science publications, 2006 |
| Collection : | Informatique et systèmes d'information |
| ISBN/ISSN/EAN : | 978-2-7462-1303-6 |
| Format : | 370 p. |
| Note générale : |
Index |
| Langues: | Français |
| Index. décimale : | 004.1 |
| Mots-clés: | temps réel (informatique) |
| 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. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
