Verified Hardware/Software Co-Assurance: Enhancing Safety and Security for Critical Systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Aug 24, 2020
- Source ID
- 10.1109/syscon47679.2020.9381831
Entities
People
- David S. Hardin
Organizations
- Defense Advanced Research Projects Agency