Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
by:
Filip Thoen ·
Francky Catthoor
Hardcover
details (
United States
).
ISBN: 978-0-7923-7737-5
ISBN-10: 0-7923-7737-0
Springer
· 1999