acm sigbed
|
emsoft
|
participants
Joost-Pieter Katoen
EMSOFT 2014: 14th International Conference on Embedded Software
Exponentially Timed SADF: Compositional Semantics, Reductions, and Analysis
Joost-Pieter Katoen
and
Hao Wu
10.1145/2656045.2656058
https://www.es.ele.tue.nl/sadf/publications/KW14.pdf