Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems Thoen Filip Innbundet / 1999 / Engelsk
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems Thoen Filip Heftet / 2012 / Engelsk
