GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Nicolas Navet, Metteur en scène, réalisateur | Paris : Hermès science publications | Informatique et systèmes d'information | 2006Analyse 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.
texte imprimé
Nicolas Navet, Metteur en scène, réalisateur | Paris : Hermès science publications | Informatique et systèmes d'information | 2006Analyse des mécanismes éxécutifs permettant l'obtention d'une qualité de service temps réel. Etude du problème du choix, de la configuration et de l'implémentation des stratégies d'ordonnancement de tâches. Le point sur les réseaux et protocoles[...]
