Filip Thoen

Filip Thoen

1 ספרים במאגר

ספרים

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

ספרים משותפים ואוספים

ספרים שבהם Filip Thoen מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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