Using VDMTools to Model and Validate the Cash Dispenser Example.

Peter Gorm Larsen Paul Mukherjee Kim Sunesen

Published in: Formal Aspects Comput. (2000)

Keyphrases

probabilistic model
computational model
statistical model
maximum likelihood
theoretical analysis
hybrid model
data sets
image sequences
control system
mathematical model
experimental data
neural network model
simulation model
network model
analytical model