Login / Signup
Deciding weak monitorability for runtime verification.
Zhe Chen
Yifan Wu
Ou Wei
Bin 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