Login / Signup
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.
Gerd Behrmann
Kim Guldstrand Larsen
Henrik Reif Andersen
Henrik Hulgaard
Jørn Lind-Nielsen
Published in:
TACAS (1999)
Keyphrases
</>
event detection
expert systems
distributed systems
intelligent systems
design patterns
learning systems
peer to peer
verification method
software architecture
knowledge based systems
computer systems
real time
management system
reinforcement learning
artificial intelligence
learning algorithm
information retrieval