Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation

Alessandro Fantechi, Gloria Gori, Jacopo Zecchi

Other talks in FMICS Session 3:

• Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic Approach
• Domain-Specific 3D Visualization of Formal Models

 Overview  Program   FMICS Program