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