Détail de l'éditeur
Documents disponibles chez cet éditeur (5)
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
texte imprimé
texte imprimé
texte imprimé
Ricardo Caferra, Auteur | Hermes Science publications | Collection informatique, ISSN 1242-7691 | impr. 2011
texte imprimé
Cristian Vanhille, Auteur ; Antoine Lavie, Auteur ; Cleofé Campos-Pozuelo, Auteur | Hermes Science publications | Collection méthodes numériques | 2007
texte imprimé
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
