Domain-Specific 3D Visualization of Formal Models

Max Richter, Fabian Vu

Other talks in FMICS Session 3 - Advanced Analysis:

• Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation
• Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic Approach

 Program   FMICS Program