Non-Deterministic System Specification.

Jean-Raymond Abrial Stephen A. Schuman

Published in: Semantics of Concurrent Computation (1979)

Keyphrases

specification language
machine learning
high level
user defined
formal specification
neural network
database systems
artificial neural networks
formal verification