Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B.

Robert Eschbach

Published in: ABZ (2021)

Keyphrases

event detection
expert systems
data driven
fully automatic
neural network
multiscale
artificial neural networks
data sets
metadata
video sequences
probabilistic model
application specific
user requirements
functional requirements
event processing