QoS Evaluation for Real-time Distributed Systems Using the Probabilistic Model Checker PRISM
Proceedings of International Workshop on Informatics 2009, pp.60-66 (2009)
タグ: qos, evaluation, real-time, distributed, probabilistic, model, checker, prism
@inproceedings{TakeshiNagaoka2009,
author = {Takeshi Nagaoka and Akihiko Ito and Kozo Okano and Shinji Kusumoto},
title = {QoS Evaluation for Real-time Distributed Systems Using the Probabilistic Model Checker PRISM},
booktitle = {Proceedings of International Workshop on Informatics 2009},
pages = {60--66},
year = {2009},
month = {sep}
}