ABZ 2018: Southampton, UK

Invited Talks

Translation and Transformation

Analysis and Tests

Reals and Hybrid Systems

Refinement

Hybrid ERTMS Case Study

Short Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics