Published January 20, 2015 | Version v1
Presentation Open

Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems

  • 1. fortis
  • 2. Fondazione Bruno Kessler

Description

Presentation on D-MILS project overview and verification framework

Files

09-D-MILS-Overview-MILS-Workshop.pdf

Files (4.9 MB)

Name Size Download all
md5:7c14d8ee634f8dc8efbfdd4d2d1e3c17
4.9 MB Preview Download