Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems
CAV, 2019.
@inproceedings{CAV-2019-FaymonvilleFSSS,
author = "Peter Faymonville and Bernd Finkbeiner and Malte Schledjewski and Maximilian Schwenger and Marvin Stenger and Leander Tentrup and Hazem Torfah",
booktitle = "{Proceedings of the 30st International Conference on Computer Aided Verification, Part I}",
doi = "10.1007/978-3-030-25540-4_24",
isbn = "['978-3-030-25539-8', '978-3-030-25540-4']",
pages = "421--431",
publisher = "{Springer}",
title = "{StreamLAB: Stream-based Monitoring of Cyber-Physical Systems}",
year = 2019,
}
Tags:
