Verification of Opacity and Diagnosability for Pushdown Systems.

Koichi Kobayashi Kunihiko Hiraishi

Published in: J. Appl. Math. (2013)

Keyphrases

model checking
management system
discrete event systems
information systems
decision making
real world
artificial intelligence
computer vision
database systems
learning systems
security systems