Filters








1 Hit in 3.5 sec

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1 [article]

Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, Joao Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
2019 arXiv   pre-print
Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings.  ...  CS2012-03, Department of Computer Science, University of Malta (2012), available from and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International  ... 
arXiv:1902.03776v1 fatcat:2bpikbnt2bhddala2lyrztr67e