A Study of Neighborhood Competing Models Based Verification Method.
Chengli SunGang LiuJun GuoPublished in: ICNC (2) (2007)
Keyphrases
- verification method
- complex systems
- database systems
- real time
- statistical models
- temporal logic
- multiple regression
- similarity measure
- bayesian networks
- expert systems
- empirical studies
- statistical analysis
- parameter estimation
- process model
- model checking
- computational models
- accurate models
- artificial intelligence