Z--, an Executable Subset of Z.

Samuel H. Valentine

Published in: Z User Workshop (1991)

Keyphrases

subset selection
databases
neural network
real world
genetic algorithm
bayesian networks
data streams
data model
hidden markov models
formal specification
initial set
selected subset