Login / Signup

Runtime enforcement monitors: composition, synthesis, and enforcement abilities.

Yliès FalconeLaurent MounierJean-Claude FernandezJean-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