acm sigbed
|
emsoft
|
participants
Ramzi Ben Salah
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Compositional Timing Analysis
Ramzi Ben Salah
,
Marius Bozga
, and
Oded Maler
10.1145/1629335.1629342
http://www-verimag.imag.fr/~maler/Papers/tabst-new.pdf