Login / Signup
Runtime enforcement monitors: composition, synthesis, and enforcement abilities.
Yliès Falcone
Laurent Mounier
Jean-Claude Fernandez
Jean-Luc Richier
Published in:
Formal Methods Syst. Des. (2011)
Keyphrases
</>
access control
database
artificial intelligence
multi agent systems
fine grained
real time
real world
decision making
digital rights