Login / Signup
On the Use of Graph Transformation in the Formal Specification of Model Interpreters.
Gabor Karsai
Aditya Agrawal
Feng Shi
Jonathan Sprinkle
Published in:
J. Univers. Comput. Sci. (2003)
Keyphrases
</>
formal specification
probabilistic model
specification language
high level
relational databases
process algebra
machine learning
expert systems
open source