Login / Signup
Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems.
Mila E. Majster-Cederbaum
Christoph Minnameier
Published in:
RP (2009)
Keyphrases
</>
state space
computer systems
information systems
expert systems
reinforcement learning
management system
distributed systems
building blocks
retrieval systems