Published January 20, 2015
| Version v1
Presentation
Open
Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems
Description
Presentation on D-MILS project overview and verification framework