Filip Thoen

1 published title

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

(Contributor)

1 edition