COST action IC1402 runtime verification beyond monitoring

Christian Colombo^*, Yliès Falcone, Martin Leucker, Giles Reger, Cesar Sanchez, Gerardo Schneider, Volker Stolz

^*Korrespondierende/r Autor/-in für diese Arbeit