Sign in

Runtime Verification Under Access Restrictions.

Rania TalebRaphaël KhourySylvain Hallé
Published in: FormaliSE@ICSE (2021)
Keyphrases
  • access control
  • model checking
  • real time
  • formal verification
  • method invocation
  • database
  • information retrieval
  • e learning
  • database systems
  • face recognition
  • random access
  • asynchronous circuits