Conference paper Open Access

Hardening High-Assurance Systems: MILS as Software Design for Avionics

Mueller, Kevin


BibTeX Export

@proceedings{mueller_kevin_2017_571160,
  title        = {{Hardening High-Assurance Systems: MILS as Software 
                   Design for Avionics}},
  year         = 2017,
  publisher    = {Zenodo},
  month        = mar,
  doi          = {10.5281/zenodo.571160},
  url          = {https://doi.org/10.5281/zenodo.571160}
}
137
89
views
downloads
All versions This version
Views 137137
Downloads 8989
Data volume 68.4 MB68.4 MB
Unique views 131131
Unique downloads 7474

Share

Cite as