Conference paper Open Access

Formal Methods for MILS: Formalisations of the GWV Firewall

Koolen, Ruud; Schmaltz, Julien


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
84
58
views
downloads
All versions This version
Views 8484
Downloads 5858
Data volume 13.7 MB13.7 MB
Unique views 6868
Unique downloads 5252

Share

Cite as