FACS 2014: Bertinoro, Italy

Invited Speakers

Compositional Approaches

Adaptation and Evolution

Application and Experience

Tools

Scheduling, Time, and Hybrid Systems

Other Verification Approaches

Safety and Liveness of Composition

maintained by Schloss Dagstuhl LZI at University of Trier