TY  - RPRT
TI  - Resolute: An Assurance Case Language for Architecture Models
AU  - Andrew Gacek
AU  - John Backes
AU  - Darren Cofer
AU  - Konrad Slind
AU  - Mike Whalen
PY  - 2014
UR  - https://arxiv.org/abs/1409.4629
ID  - 1409.4629
ER  -