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

Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Ylies Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Et Al.
Posted Jan 1, 2019
Cite Link