Observation Strategies for Event Detection with Incidence on Runtime Verification

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageUnknown
Title of host publicationhttp://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/
EditorsM Gavanelli, T Mancini
Place of Publicationhttp://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-616/
PublisherCEUR Workshop Proceedings
Pagesnone
Volume616
Publication statusPublished - 1 Jan 2010
EventRCRA Experimental evaluation of algorithms for solving problems with combinatorial explosion -
Duration: 1 Jan 2010 → …

Conference

ConferenceRCRA Experimental evaluation of algorithms for solving problems with combinatorial explosion
Period1/01/10 → …

Cite this

Alberti, M. (2010). Observation Strategies for Event Detection with Incidence on Runtime Verification. In M. Gavanelli, & T. Mancini (Eds.), http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/ (Vol. 616, pp. none). http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-616/: CEUR Workshop Proceedings.