Prévisualiser ce livre
Systèmes temps réel Volume 1, Techniques de description et de vérification
Nicolas NAVET
Disponibilité:
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.
Éditeur:
Lavoisier-Hermès
Lavoisier-Hermès
Protection:
ACS4
ACS4
Année de parution:
2021
2021
ISBN-13:
9782746237445
Description:
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.
Aperçu du livre