• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Compositional runtime enforcement revisited.

Srinivas PinisettyAnkit PradhanPartha S. RoopStavros Tripakis
Published in: Formal Methods Syst. Des. (2021)
Keyphrases
  • access control
  • similarity measure
  • multiresolution
  • database
  • real world
  • knowledge base
  • digital libraries
  • neural network
  • data mining
  • machine learning
  • metadata
  • multiscale
  • query processing
  • digital rights