Systèmes temps réel Volume 1, Techniques de description et de vérification

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

DRM:
ACS4

Publication Year:
2021

ISBN-13: 9782746237445

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.