Login / Signup
Reachability Analysis of a Switched Buffer Network.
Goran Frehse
Oded Maler
Published in:
HSCC (2007)
Keyphrases
</>
reachability analysis
switched networks
model checking
real time
neural network
peer to peer
markov decision processes
computer networks
communication networks
data mining
machine learning
knowledge base
objective function
optimal solution
wireless sensor networks