| Original language | English |
|---|---|
| Title of host publication | IEEE Aerospace Conference |
| Publication status | Published - 2020 |
Security-Minded Verification of Space Systems
Carsten Maple, M Bradbury, H Yuan, Marie Farrell, Clare Dixon, Michael Fisher, U I Atmaca
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review