DMCA

Noname manuscript No. (will be inserted by the editor) Observation Strategies for Event Detection with Incidence on Runtime Verification: Theory, Algorithms, Experimentation

by Marco Alberti , Luís Moniz Pereira , M. Alberti , L. Moniz Pereira