Towards an Integrated Model Checker for Railway Signalling Data.

Michael Huber Steve King

Published in: FME (2002)

Keyphrases

data sets
data analysis
data structure
knowledge discovery
machine learning
genetic algorithm
artificial intelligence
high level
business processes