B Formal Validation of ERTMS/ETCS Railway Operating Rules.

Rahma Ben Ayed Simon Collart Dutilleul Philippe Bon Akram Idani Yves Ledru

Published in: ABZ (2014)

Keyphrases

rule sets
neural network
highly expressive
rule based systems
association rules

decision making
knowledge based systems
domain experts
association rule mining
decision rules

rough set theory
information systems
rule base
inference engine
learning algorithm

rule discovery
formal representation
mathematical theory
database