OVADO - Enhancing Data Validation for Safety-Critical Railway Systems.

Manel Fredj Sven Leger Abderrahmane Feliachi Julien Ordioni

Published in: RSSRail (2017)

Keyphrases

safety critical
database
data sources
raw data
data analysis
knowledge acquisition
intelligent systems
decision making
low cost
medical images
knowledge based systems
software agents
formal methods