Login / Signup
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules.
Yves Ledru
Akram Idani
Rahma Ben Ayed
Abderrahim Ait Wakrime
Philippe Bon
Published in:
RSSRail (2019)
Keyphrases
</>
neural network
rule sets
information retrieval
artificial intelligence
association rules
production rules
traffic management
real time
data sets
classification rules
inference engine
rule discovery