Login / Signup
Transformation from LOTOS Specifications to Galileo Nets.
Saturnino Marchena Rodriguez
Gonzalo León
Published in:
FORTE (1988)
Keyphrases
</>
formal specification
formal specification language
specification language
neural network
artificial intelligence
data sets
decision making
multiscale
cutting edge
databases
image processing
formal verification