Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems - Tapa blanda

Thoen, Filip; Catthoor, Francky

 
9781461544388: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Esta edición ISBN ya no está disponible.

Sinopsis

Acknowledgments. 1. Introduction. 2. Related Work and Contemporary Approaches. 3. System Representation Model. 4. Timing Analysis. 5. System Synthesis Methodology. 6. Conclusions. Appendices. Glossary.

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9780792377375: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Edición Destacada

ISBN 10:  0792377370 ISBN 13:  9780792377375
Editorial: Springer, 1999
Tapa dura