Constructing Property-Oriented Models for Verification.

Jifeng He Shengchao Qin Adnan Sherif

Published in: UTP (2006)

Keyphrases

probabilistic model
three dimensional
statistical models
neural network
data mining
artificial intelligence
decision making
website
data model
parameter estimation
model checking
formal verification