The paper "Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems" has been presented at the 38th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2019,…
The paper "Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems" has been accepted for publication in the proceedings of the 38th International Conference on Computer Safety, Reliability and Security (SAFECOMP…