Original language | Unknown |
---|---|
Pages (from-to) | 161-186 |
Journal | Annals Of Mathematics And Artificial Intelligence |
Volume | 62 |
Issue number | 3-4 |
DOIs | |
Publication status | Published - 1 Jan 2011 |
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
Research output: Contribution to journal › Article › peer-review
1
Citation
(Scopus)