The paper “Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset” by Maarten Bartholomeus, Bas Luttik and Tim Willemse has been accepted for presentation at FMICS 2018, to be held at Maynooth University, Ireland on September 3-4, 2018.
The paper “Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset” by Maarten Bartholomeus, Bas Luttik and Tim Willemse has been accepted for presentation at FMICS 2018, to be held at Maynooth University, Ireland on September 3-4, 2018.