UPDATE: Zenodo migration postponed to Oct 13 from 06:00-08:00 UTC. Read the announcement.

Conference paper Open Access

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

Mueller, Kevin

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
201
131
views
downloads
All versions This version
Views 201201
Downloads 131131
Data volume 100.6 MB100.6 MB
Unique views 193193
Unique downloads 113113
More info on how stats are collected.
Indexed in
Publication date:
March 14, 2017
DOI:
10.5281/zenodo.571160

Zenodo DOI Badge

DOI 

10.5281/zenodo.571160

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.571160.svg)](https://doi.org/10.5281/zenodo.571160)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.571160.svg
   :target: https://doi.org/10.5281/zenodo.571160

HTML 

<a href="https://doi.org/10.5281/zenodo.571160"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.571160.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.571160.svg

Target URL 

https://doi.org/10.5281/zenodo.571160

Keyword(s):
High-assurance MILS
Meeting:
International Workshop on MILS: Architecture and Assurance for Secure Systems, Nuremberg, Germany, 14 March 2017
Communities:
License (for files):
Creative Commons Attribution 4.0 International

Share

Cite as

Export