Presentation Open Access

Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation

Cimatti, Alessandro; DeLong, Rance; Stojic, Ivan; Tonetta, Stefano

Presentation to conference paper: Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation

Files (791.1 kB)
Name Size
Cimatti-2018-towards-adaptive-mils-systems.pdf
md5:706e211b27cbb328934e39e40e01ebc3
791.1 kB Download
40
43
views
downloads
All versions This version
Views 4040
Downloads 4343
Data volume 34.0 MB34.0 MB
Unique views 3939
Unique downloads 3030

Share

Cite as