Results for Multi-model

Publications & Outputs

1. Bridging the gap between single- and multi-model predictive runtime verification

   Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M. & Mascardi, V., 18/08/2022, In: Formal Methods in System Design. 59, 1-3, p. 44-76 33 p.

   Research output: Contribution to Journal/Magazine › Journal article › peer-review