Author:
Volanschi Nic,Serpette Bernard
Publisher
Springer International Publishing
Reference12 articles.
1. Basin, D.A., Klaedtke, F., Zalinescu, E.: The MonPoly monitoring tool. In: RV-CuBES, pp. 19–28 (2017)
2. Basin, D.A., Krstic, S., Traytel, D.: Aerial: almost event-rate independent algorithms for monitoring metric regular properties. In: RV-CuBES, pp. 29–36 (2017)
3. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Software Eng. Methodol. (TOSEM) 20(4), 14 (2011)
4. Advances in Intelligent Systems and Computing;C Consel,2018
5. Lecture Notes in Computer Science;J Cumin,2017
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献