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

Alessandro Cimatti Rance DeLong Ivan Stojic Stefano Tonetta Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. 2018 MILS@DSN https://doi.org/10.5281/zenodo.1306063 conf/hipeac/2018mils db/conf/hipeac/mils2018.html#CimattiDST18