Synthesizing verified components for cyber assured systems engineering
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Mar 21, 2023
- Source ID
- 10.1007/s10270-023-01096-3
Entities
People
- D. Barrett Hardin
- Darren Cofer
- Eric Mercer
- Isaac Amundson
- Junaid Babar
- Konrad Slind
Organizations
- Defense Advanced Research Projects Agency