Conference paper Open Access

A Model-based Approach to Certification of Adaptive MILS

Koelemeijer, Dorien; Araby, Rasma; Nouri, Ayoub; Bozga, Marius; DeLong, Rance


BibTeX Export

@proceedings{koelemeijer_dorien_2018_1306089,
  title        = {{A Model-based Approach to Certification of 
                   Adaptive MILS}},
  year         = 2018,
  publisher    = {Zenodo},
  month        = jun,
  doi          = {10.5281/zenodo.1306089},
  url          = {https://doi.org/10.5281/zenodo.1306089}
}
748
393
views
downloads
All versions This version
Views 748750
Downloads 393393
Data volume 983.1 MB983.1 MB
Unique views 732734
Unique downloads 305305

Share

Cite as