Graphical Z Specification.

Nam Yap Mike Holcombe

Published in: PPIG (1997)

Keyphrases

high level
formal specification
neural network
machine learning
information systems
temporal ordering
search algorithm
state machine
provably correct