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

Exploration

by: Filip Thoen · Francky Catthoor

Hardcover

ISBN: 978-0-7923-7737-5

ISBN-10: 0-7923-7737-0

Springer · 1999