acm sigbed
|
emsoft
|
participants
Peter Schrammel
EMSOFT 2015: 15th International Conference on Embedded Software
Unbounded-Time Reachability Analysis of Hybrid Systems by Abstract Acceleration
Peter Schrammel
10.1109/EMSOFT.2015.7318259