Login / Signup
Automatic Verification of Safety Rules for a Subway Control Software.
Nelson Guimarães Ferreira
Paulo Sérgio Muniz Silva
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
control software
transformation rules
rule extraction
control system
classification rules
association rules
association rule mining
background knowledge
rule based systems
business rules
inference engine
rule sets
decision rules
database
evolutionary algorithm
case study
decision trees
website
social networks