QoS Analysis of Real-time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
IEICE Transactions on Information and Systems, vol.E94-D, no.5 (2011)
タグ: analysis, checking, distributed, hybrid, model, probabilistic, qos, real-time, simulation, systems, technique
@article{TakeshiNagaoka2011,
author = {Takeshi Nagaoka and Akihiko Ito and Kozo Okano and Shinji Kusumoto},
title = {QoS Analysis of Real-time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation},
journal = {IEICE Transactions on Information and Systems},
volume = {E94-D},
number = {5},
year = {2011},
month = {may}
}