January 20, 2015 Presentation Open Access

Rueß, Harald; Tonetta, Stefano

JSON-LD (schema.org) Export

{
  "description": "<p>Presentation on D-MILS project overview and verification framework</p>", 
  "license": "https://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", 
  "@type": "PresentationDigitalDocument", 
  "keywords": [
    "D-MILS"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.47985", 
  "@id": "https://doi.org/10.5281/zenodo.47985", 
  "workFeatured": {
    "location": "Amsterdam", 
    "@type": "Event", 
    "name": "International Workshop on MILS: Architecture and Assurance for Secure Systems"
  }, 
  "name": "Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems"
}