Detail

Publication date: 01/06/2010

Observation Strategies for Event Detection with Incidence on Runtime Verificationl

Authors

Marco Alberti, Marco Gavanelli, Pierangelo Dell'Acqua, Toni Mancini, Luís Moniz Pereira,

URL http://CEUR-WS.org/Vol-616/paper03.pdf
Publisher CEUR Workshop Proceedings
Series http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/
Volume 616
ISSN 1613-0073
Address http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-616/
URL http://CEUR-WS.org/Vol-616/paper03.pdf
Publisher CEUR Workshop Proceedings
Series http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/
Volume 616
ISSN 1613-0073
Address http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-616/