 | Up a level |
Number of items: 1.
Farrell, Marie 
ORCID: 0000-0001-7708-3877, Maple, Carsten, Bradbury, Matthew, Yuan, Hu, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael ORCID: 0000-0002-0875-3862 and Atmaca, Ugur-Ilker
(2019)
Security-Minded Verification of Space Systems.
In: IEEE Aerospace Conference.