Login / Signup
Formal Validation of Transformation Schemata.
Mattias Waldau
Published in:
LOPSTR (1991)
Keyphrases
</>
intermediate representations
functional dependencies
formal model
formal methods
multi agent
mathematical theory
database
machine learning
search algorithm
multi agent systems
multiresolution
mobile robot
query language
model validation
fukunaga koontz