Filip Thoen

Filip Thoen

1 books in the database

Books

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

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

Filip Thoen · 2000

Co-authored books and collections

Books that list Filip Thoen among their authors but not as the lead author: co-written works, collections and compilations.

Modeling, verification, and exploration of task-level concurrency in real-time embedded systemsFilip Thoen

Modeling, verification, and exploration of task-level concurrency in real-time embedded systems

Filip Thoen · 2000