Sign in

Deciding weak monitorability for runtime verification.

Zhe ChenYifan WuOu WeiBin Sheng
Published in: ICSE (Companion Volume) (2018)
Keyphrases
  • model checking
  • face verification
  • verification method
  • concurrent systems
  • real time
  • information systems
  • mobile robot
  • signature verification
  • person identification