Login / Signup
Derivation of Formal Representations from Process-Based Specification and Implementation Models.
Steven Vercauteren
Diederik Verkest
Gjalt G. de Jong
Bill Lin
Published in:
ISSS (1997)
Keyphrases
</>
process model
reactive systems
statistical models
formal models
neural network
probabilistic model
complex systems
graphical models
efficient implementation
metamodel
formal specification
specification language
formal language
cost benefit analysis