Kusumoto Laboratory
List of works
国際会議
[1] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto, "Qualitative Analysis of Real-Time Distributed Systems Considering Network Congestion by Probabilistic Model Checker Prism," In Proceedings of 2009 International Workshop on Empirical Software Engineering in Practice (IWESEP 2009), October 2009.
[2] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto, "Qos Evaluation for Real-Time Distributed Systems Using the Probabilistic Model Checker Prism," In Proceedings of International Workshop on Informatics 2009, pages 60-66, September 2009.

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.091869 seconds.