High-automation proofs for properties of requirements models.

Published in: Int. J. Softw. Tools Technol. Transf. (2000)

Keyphrases

probabilistic model
statistical models
data sets
databases
image sequences
wide range
prior knowledge
control system
least squares
desirable properties