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

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

by Francky Catthoor (Author), Filip Thoen (Author)

$174.66

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 458
Edition: 2000
Publisher: Springer
Published: 30 Nov 1999

ISBN 10: 0792377370
ISBN 13: 9780792377375