Systèmes temps réel volume 1, techniques de description et de vérification
Par : Nicolas Navet
Editeur : Lavoisier-Hermès
Numéro de produit : 9782746237445
ISBN : 9782746237445
169,95 $
Les livres numériques seront disponibles pour télécharger dès votre paiement effectué.
* Prix en dollar canadien. Taxes et livraison en sus.
Retour à la liste des produits
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.