RML: Theory and practice of a domain specific language for runtime verification.
Saved in:
| Title: | RML: Theory and practice of a domain specific language for runtime verification. |
|---|---|
| Authors: | Ancona, Davide1, davide.ancona@unige.it, Franceschini, Luca1, luca.franceschini@dibris.unige.it, Ferrando, Angelo2, angelo.ferrando@manchester.ac.uk, Mascardi, Viviana1, viviana.mascardi@unige.it |
| Source: | Science of Computer Programming; May2021, Vol. 205, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01676423 |
|---|---|
| DOI: | 10.1016/j.scico.2021.102610 |
