C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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