Towards Developing Formalized Assurance Cases
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 11, 2020
- Source ID
- 10.1109/dasc50938.2020.9256740
Entities
People
- Abha Moitra
- Andrew W. Crapo
- Baoluo Meng
- Daniel Prince
- Heber Herencia-zapana
- Kit Siu
- Michael Durling
- Saswata Paul
Organizations
- Defense Advanced Research Projects Agency