Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic Approach

Jonas Schürmann, Bernhard Steffen

Other talks in FMICS Session 3:

• Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation
• Domain-Specific 3D Visualization of Formal Models

 Overview  Program   FMICS Program