Collaboration-based verification of Object-Oriented models in HOL.

Kenro Yatake Toshiaki Aoki Takuya Katayama

Published in: VVEIS (2004)

Keyphrases

object oriented
neural network
information technology
database systems
probabilistic model
parameter estimation
statistical models
formal methods
data mining
artificial intelligence
programming language
process model
database design
computational models
model checker