Model diagnosis using the condition specification: from conceptualization to implementation.

C. Michael Overstreet Ernest H. Page Richard E. Nance

Published in: WSC (1994)

Keyphrases

probabilistic model
computational model
statistical model
formal model
high level
similarity measure
mathematical model
machine learning
e learning
probability distribution
theoretical framework
conceptual model
fault detection
formal specification
specification language