Presentation Open Access

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

Rueß, Harald; Tonetta, Stefano


JSON-LD (schema.org) Export

{
  "description": "<p>Presentation on D-MILS project overview and verification framework</p>", 
  "license": "http://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "fortis", 
      "@type": "Person", 
      "name": "Rue\u00df, Harald"
    }, 
    {
      "affiliation": "Fondazione Bruno Kessler", 
      "@type": "Person", 
      "name": "Tonetta, Stefano"
    }
  ], 
  "url": "https://zenodo.org/record/47985", 
  "datePublished": "2015-01-20", 
  "keywords": [
    "D-MILS"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.47985", 
  "@id": "https://doi.org/10.5281/zenodo.47985", 
  "@type": "PresentationDigitalDocument", 
  "name": "Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems"
}
13
8
views
downloads
All versions This version
Views 1313
Downloads 88
Data volume 39.6 MB39.6 MB
Unique views 1313
Unique downloads 77

Share

Cite as