Login / Signup

QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation.

Takeshi NagaokaAkihiko ItoKozo OkanoShinji Kusumoto
Published in: IEICE Trans. Inf. Syst. (2011)
Keyphrases
  • abstract interpretation
  • model checking
  • static analysis
  • distributed systems
  • temporal logic
  • fault tolerant
  • finite state