Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

  • Home
  • Research
  • Education
  • Student projects
  • People
  • News

Author: Bas Luttik

New group member: Mark Bouwman

Posted on March 11, 2019February 3, 2022 by Bas Luttik

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

Posted in People, Projects, Research

Paper accepted at FMICS 2018

Posted on June 18, 2018June 19, 2018 by Bas Luttik

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.

Posted in Research
Posts navigation
← Newer posts

Agenda

June 2023
MTWTFSS
    1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30   
« May   Jul »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box