Guiding intelligent testbench automation using data mining and formal methods.
Eman El MandouhAmr G. WassalPublished in: IDT (2015)
Keyphrases
- formal methods
- data mining
- decision support
- model checking
- formal analysis
- knowledge based systems
- safety critical
- process algebra
- artificial intelligence
- model checker
- industrial automation
- provably correct
- association rules
- temporal properties
- formal specification
- data mining algorithms
- intelligent systems
- real world
- software engineering
- data mining techniques
- data analysis
- formal specification language
- modeling language
- machine learning
- security properties
- data warehouse
- development lifecycle