TY  - RPRT
TI  - Formalizing Probabilistic Safety Claims
AU  - Herencia-Zapana, Heber
AU  - Hagen, George E.
AU  - Narkawicz, Anthony J.
PY  - 2011
UR  - https://ntrs.nasa.gov/citations/20110011169
ID  - 20110011169
ER  -