B Formal Validation of ERTMS/ETCS Railway Operating Rules.
Rahma Ben AyedSimon Collart DutilleulPhilippe BonAkram IdaniYves LedruPublished 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