Login / Signup
A Formal Model of Metacontrol in Maude.
Juliane Päßler
Esther Aguado
Gustavo Rezende Silva
Silvia Lizeth Tapia Tarifa
Carlos Hernández Corbato
Einar Broch Johnsen
Published in:
ISoLA (1) (2022)
Keyphrases
</>
formal model
formal specification
equational theories
predicate calculus
security properties
security patterns
database
machine learning
artificial intelligence
multi agent systems
internal and external
software engineering
access control