Login / Signup
A Calculus to Define Correct Tranformations of LOTOS Specifications.
Thierry Massart
Published in:
FORTE (1991)
Keyphrases
</>
formal language
transition systems
formal specification
neural network
control flow
data sets
databases
multiscale
knowledge representation
user defined
formally define