Bridging the gap between single- and multi-model predictive runtime verification.
Saved in:
| Title: | Bridging the gap between single- and multi-model predictive runtime verification. |
|---|---|
| Authors: | Ferrando, Angelo1, Angelo.Ferrando@unige.it, Cardoso, Rafael C.2, Farrell, Marie3, Luckcuck, Matt3, Papacchini, Fabio4, Fisher, Michael5, Mascardi, Viviana1 |
| Source: | Formal Methods in System Design; 2022, Vol. 59 Issue 1-3, p44-76, 33p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09259856 |
|---|---|
| DOI: | 10.1007/s10703-022-00395-7 |
