Symbolic Monitoring Against Specifications Parametric in Time and Data

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-25540-4_30 ◽

2019 ◽

pp. 520-539 ◽

Author(s):

Masaki Waga ◽

Étienne André ◽

Ichiro Hasuo

Download Full-text