Qualitative Analysis of Real-time Distributed Systems Considering Network Congestion by Probabilistic Model Checker PRISM
Proceedings of 2009 International Workshop on Empirical Software Engineering in Practice (IWESEP 2009) (2009)
タグ: analysis, checker, congestion, considering, distributed, model, network, prism, probabilistic, qualitative, real-time, systems
@inproceedings{TakeshiNagaoka2009a,
author = {Takeshi Nagaoka and Akihiko Ito and Kozo Okano and Shinji Kusumoto},
title = {Qualitative Analysis of Real-time Distributed Systems Considering Network Congestion by Probabilistic Model Checker PRISM},
booktitle = {Proceedings of 2009 International Workshop on Empirical Software Engineering in Practice (IWESEP 2009)},
year = {2009},
month = {oct}
}