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

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

Share

Cite as