Observation Strategies for Event Detection with Incidence on Runtime Verification: Theory, Algorithms, Experimentation

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

URL	http://centria.di.fct.unl.pt/~lmp/publications/online-papers/runtime_verification_amai.pdf
Journal	Annals of Mathematics and Artificial Intelligence
Publisher	Springer
ISSN	1573-7470
URL	http://centria.di.fct.unl.pt/~lmp/publications/online-papers/runtime_verification_amai.pdf
Journal	Annals of Mathematics and Artificial Intelligence
Publisher	Springer
ISSN	1573-7470

Publication