Login / Signup
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.
Carsta Petersohn
Willem P. de Roever
Cornelis Huizing
Jan Peleska
Published in:
EDCC (1994)
Keyphrases
</>
formal semantics
modelling language
formal language
operational semantics
modeling language
multi agent systems
expert systems
conceptual models
machine learning
artificial intelligence
logical reasoning
er model