Modeling and Verification of Real-time Systems

Título:
Modeling and Verification of Real-time Systems
Autor:
Navet
Materia:
Electrical & Electronics Engineering
Editor:
Wiley-ISTE
Descripción:
449 p.
Identificadores:
E-ISBN: 9781848210134 ISBN: 9780470611012
Colección:
Wiley