C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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