Monitorability over Unreliable Channels

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32079-9_15 ◽

2019 ◽

pp. 256-272 ◽

Author(s):

Sean Kauffman ◽

Klaus Havelund ◽

Sebastian Fischmeister

Download Full-text