Presentation Open Access

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

Rueß, Harald; Tonetta, Stefano


Citation Style Language JSON Export

{
  "DOI": "10.5281/zenodo.47985", 
  "abstract": "<p>Presentation on D-MILS project overview and verification framework</p>", 
  "author": [
    {
      "family": "Rue\u00df, Harald"
    }, 
    {
      "family": "Tonetta, Stefano"
    }
  ], 
  "id": "47985", 
  "issued": {
    "date-parts": [
      [
        2015, 
        1, 
        20
      ]
    ]
  }, 
  "publisher": "Zenodo", 
  "title": "Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems", 
  "type": "speech"
}
5
4
views
downloads
All versions This version
Views 55
Downloads 44
Data volume 19.8 MB19.8 MB
Unique views 55
Unique downloads 33

Share

Cite as