An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard.

Amel Mammar Marc Frappier Steve Jeffrey Tueno Fotso Régine Laleau

Published in: ABZ (2018)

Keyphrases

computational model
theoretical framework
statistical model
probabilistic model
parameter values
experimental data
information systems
theoretical analysis
markov chain
image sequences
mathematical model
high level
conceptual model
news articles
formal model
prediction model
artificial intelligence