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}
}