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:
Formal Methods Syst. Des. (2002)
Keyphrases
</>
building blocks
management system
computer systems
data sets
neural network
information systems
digital libraries
object oriented
learning objects
intelligent systems
learning systems
complex systems
event detection
face verification
formal methods
asynchronous circuits