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

Other literature type, Lecture English OPEN
Rueß, Harald ; Tonetta, Stefano (2015)

<p>Presentation on D-MILS project overview and verification framework</p>
Share - Bookmark

  • Download from
    FigShare via FigShare (Other literature type, 2015)
    ZENODO via ZENODO (Lecture, 2015)
  • Cite this publication