Approches formelles des systèmes embarqués communicants
Olivier H. ROUX
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:
9782746243156
Description:
Examen des éléments concernant la problématique actuelle des systèmes embarqués, exposé des acquis de nouvelles directions de recherche sur les modèles et leur utilisation, et présentation des outils logiciels disponibles.
Aperçu du livre