Certifying Model Checkers.

Kedar S. Namjoshi

Published in: CAV (2001)

Keyphrases

databases
high level
computational model
experimental data
artificial intelligence
management system
parameter estimation
mathematical model
information systems
case study
artificial neural networks
prior knowledge
process model
statistical model
linear model