Presentation Open Access

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

Rueß, Harald; Tonetta, Stefano

Presentation on D-MILS project overview and verification framework

Files (4.9 MB)
Name Size
09-D-MILS-Overview-MILS-Workshop.pdf
md5:7c14d8ee634f8dc8efbfdd4d2d1e3c17
4.9 MB Download
44
23
views
downloads
All versions This version
Views 4443
Downloads 2323
Data volume 113.8 MB113.8 MB
Unique views 4443
Unique downloads 2020

Share

Cite as