MOMENTAN AUSVERKAUFT

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems von Francky Catthoor und Filip Thoen (2012, Taschenbuch)