Author

Filip Thoen

1 book found

Cover of 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

Filip Thoen · First published 1999 · Latest edition 2000