Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

Maarten Bartholomeus, Bas Luttik, Tim Willemse

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

10 Citations (Scopus)

1 Downloads (Pure)

1 results
- Title(descending)
- Award date

FMICS Best Paper award
Luttik, S.P. (Bas) (Recipient) & Willemse, Tim A.C. (Recipient), 4 Sept 2018
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific