Towards Adaptive Mils System: Model- Based Design, Verification And Run-Time Adaptation

Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
2018 Zenodo  
Presentation to conference paper: Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation
doi:10.5281/zenodo.1306062 fatcat:4k7vr6jev5drdo2ktb6ud42trq