[NIOK11]
T. Nagaoka and A. Ito and K. Okano and S. Kusumoto.
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation.
IEICE Transactions on Information and Systems, E94.D(5), pages 958-966 .
2011.
|
