Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset.

Maarten Bartholomeus Bas Luttik Tim A. C. Willemse

Published in: FMICS (2018)

Keyphrases

database
higher level
real time
image processing
levels of abstraction
decision making
case study
three dimensional
data structure
cooperative
case based reasoning