論文誌

[1] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji 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, volume E94-D, number 5, May 2011.