Filip ThoenBooksModeling, verification, and exploration of task-level concurrency in real-time embedded systemsModeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded SystemsAuthor data: Open Library
