Items where Author is "Ferrando, A."

Ferrando, A. and Cardoso, R.C. and Farrell, M. and Luckcuck, M. and Papacchini, F. and Fisher, M. and Mascardi, V. (2022) Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods in System Design, 59 (1-3). pp. 44-76.