Login / Signup
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.
Jörg Bauer
Reinhard Wilhelm
Published in:
Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
Keyphrases
</>
neural network
high level
management system
complex systems
information retrieval
social networks
feature selection
website
decision trees
database systems
distributed systems
knowledge based systems