MoDELS@Run.time 2016: Saint-Malo, France

Session 1: MRT for Cyber-Physical Systems and AAL

Session 2: MRT for Model Checking and Optimization

Session 3: MRT Infrastructures

Session 4: Beyond Models@run.time

maintained by Schloss Dagstuhl LZI at University of Trier