Formal Analysis of Railway Signalling Data.

Alexei Iliasov Alexander B. Romanovsky

Published in: HASE (2016)

Keyphrases

formal analysis
data sets
synthetic data
high quality
data sources
data distribution
data processing
data collection
statistical analysis
database
training data
data structure
probability distribution
input data
raw data
spatial data
machine learning
data mining techniques
case study