Mark Bouwman started as a PhD candidate on the FormaSig project in our group. The FormaSig project, led by Bas Luttik (TU/e) and Maarten van der Werff (ProRail), is a joint research project of DB Netze A.G., Eindhoven University of Technology, ProRail and the University of Twente, to advance the application of formal methods (in …continue reading
Author: Bas Luttik
Paper accepted at FMICS 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.