Conference paper Open Access

Security Type Checking for MILS-AADL Specifications

Pol, Kevin; Noll, Thomas


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
51
27
views
downloads
All versions This version
Views 5151
Downloads 2727
Data volume 11.0 MB11.0 MB
Unique views 5151
Unique downloads 2424

Share

Cite as