![](/img/cover-not-exists.png)
Verification of real-time systems with preemption: negative and positive results
Frédéric Boniol, Jérôme Ermont, Claire PagettiVolume:
5
Language:
english
Pages:
17
DOI:
10.1007/s11334-009-0093-4
Date:
September, 2009
File:
PDF, 969 KB
english, 2009