HighSpec: a tool for building and checking OZTA models.

Jin Song Dong Ping Hao Xian Zhang Shengchao Qin

Published in: ICSE (2006)

Keyphrases

probabilistic model
model selection
real time
modeling tool
neural network
website
prior knowledge
process model
classification models
random fields
software tools