Understanding the differences between VDM and Z.

Ian J. Hayes Cliff B. Jones John E. Nicholls

Published in: ACM SIGSOFT Softw. Eng. Notes (1994)

Keyphrases

data sets
databases
neural network
search algorithm
statistically significant
deeper understanding
real time
decision making
data structure
expert systems
trade off
probabilistic model
mechanisms underlying