Browsing by Author "Farrell, Marie"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item Bridging the gap between single- and multi-model predictive runtime verification(2022-08-18) Ferrando, Angelo; Cardoso, Rafael C.; Farrell, Marie; Luckcuck, Matt; Papacchini, Fabio; Fisher, Michael; Mascardi, Viviana; University of Aberdeen.Computing Science; University of Aberdeen.Agents at AberdeenItem Security-Minded Verification of Cooperative Awareness Messages(2024-07-01) Farrell, Marie; Bradbury, Matthew; Cardoso, Rafael C.; Fisher, Michael; Dennis, Louise A.; Dixon, Clare; Sheik, Al Tariq; Yuan, Hu; Maple, Carsten; University of Aberdeen.Computing Science; University of Aberdeen.Agents at Aberdeen