Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems.

Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta

Browse the full SAFECOMP paper archive.