Login / Signup
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation.
Takeshi Nagaoka
Akihiko Ito
Kozo Okano
Shinji Kusumoto
Published in:
IEICE Trans. Inf. Syst. (2011)
Keyphrases
</>
abstract interpretation
model checking
static analysis
distributed systems
temporal logic
fault tolerant
finite state