Publication
Detail
Publication date: 01/06/2010Observation Strategies for Event Detection with Incidence on Runtime Verificationl
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/ |