TY  - RPRT
TI  - Goal Structured Notation in a Radiation Hardening Safety Case for COTS-Based Spacecraft
AU  - Witulski, Arthur
AU  - Austin, Rebekah
AU  - Reed, Robert
AU  - Karsai, Gabor
AU  - Mahadevan, Nag
AU  - Sierawski, Brian
AU  - Evans, John
AU  - LaBel, Ken
PY  - 2016
UR  - https://ntrs.nasa.gov/citations/20160005315
ID  - 20160005315
ER  -