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

Jonas Schürmann, Bernhard Steffen

Other talks in FMICS Session 3 - Advanced Analysis:

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

 Program   FMICS Program