Login / Signup

A stochastic model checking method for the usability of clusters about distributed rendering system.

Kemin WangYongbin Wang
Published in: EMEIT (2011)
Keyphrases
  • model checking
  • verification method
  • temporal logic
  • cooperative
  • dynamic programming
  • timed automata
  • automated verification