Dynamic Causes for the Violation of Timed Reachability Properties

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_8 ◽

2020 ◽

pp. 127-143

Author(s):

Martin Kölbl ◽

Stefan Leue ◽

Robert Schmid

Download Full-text