Up a level |
Number of items: 1.
Mousavi, Mohammad Reza, Cavalcanti, Ana, Fisher, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896, Hierons, Rob, Kaddouh, Bilal, Law, Effie Lai-Chong, Richardson, Rob, Ringer, Jan Oliver, Tyukin, Ivan et al (show 1 more authors)
(2023)
Trustworthy Autonomous Systems Through Verifiability.
COMPUTER, 56 (2).
pp. 40-47.