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

Runtime Enforcement of Parametric Timed Properties with Practical Applications.

Srinivas PinisettyYliès FalconeThierry JéronHervé Marchand
Published in: WODES (2014)
Keyphrases
  • feature selection
  • desirable properties
  • machine learning
  • wide range
  • access control
  • fine grained
  • petri net
  • topological properties
  • genetic algorithm
  • computer vision
  • decision trees
  • personal information