Approches formelles des systèmes embarqués communicants

Availability:
Ebook in PDF format. Available for immediate download after we receive your order

DRM:
ACS4

Publication Year:
2021

ISBN-13: 9782746243156

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.