Specification and Efficient Monitoring Beyond STL

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-17465-1_5 ◽

2019 ◽

pp. 79-97 ◽

Cited By ~ 3

Author(s):

Alexey Bakhirkin ◽

Nicolas Basset

Download Full-text