Login / Signup
Improved BDD-Based Discrete Analysis of Timed Systems.
Truong Khanh Nguyen
Jun Sun
Yang Liu
Jin Song Dong
Yan Liu
Published in:
FM (2012)
Keyphrases
</>
distributed systems
database
machine learning
statistical analysis
complex systems
decision making
knowledge base
multiscale
learning environment
learning systems
heuristic search