Conference paper Open Access

Security Type Checking for MILS-AADL Specifications

Pol, Kevin; Noll, Thomas


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
92
59
views
downloads
All versions This version
Views 9292
Downloads 5959
Data volume 23.9 MB23.9 MB
Unique views 7979
Unique downloads 5555

Share

Cite as