Login / Signup
Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems.
Satoshi Yamane
Published in:
ICESS (2005)
Keyphrases
</>
real time systems
distributed systems
cooperative
database systems
optimal solution
artificial neural networks
real time embedded