Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Systèmes temps réel. Vol. 1. Techniques de description et de vérification

Éditeur(s): Lavoisier-Hermès
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. ©Electre 2024
119,00 €
Chargement...

Systèmes temps réel. Vol. 2. Ordonnancement, réseaux et qualité de service

Éditeur(s): Lavoisier-Hermès
Analyse 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 de communication temp...
119,00 €
Chargement...
1