Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation

Research output: Contribution to journalArticle

1 Citation (Scopus)
Original languageUnknown
Pages (from-to)161-186
JournalAnnals Of Mathematics And Artificial Intelligence
Volume62
Issue number3-4
DOIs
Publication statusPublished - 1 Jan 2011

Cite this