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