Filip Thoen profile picture

Filip Thoen

Is this your author profile? Create an account to customize it!

Stand Alone

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
Modeling, verification, and exploration of task-level concurrency in real-time embedded systems