acm sigbed
|
emsoft
|
participants
Stephan Wilhelm
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Symbolic State Traversal for WCET Analysis
Stephan Wilhelm
and
Björn Wachter
10.1145/1629335.1629354
https://www.cs.ox.ac.uk/people/bjoern.wachter/papers/emsoft09.pdf