T. Nagaoka, A. Ito, K. Okano, and S. Kusumoto, "Qos Evaluation for Real-Time Distributed Systems Using the Probabilistic Model Checker Prism," In Proceedings of International Workshop on Informatics 2009, pp. 60-66 September 2009.
ID 76
分類 国際会議
タグ qos evaluation real-time distributed probabilistic model checker prism
表題 (title) Qos Evaluation for Real-Time Distributed Systems Using the Probabilistic Model Checker Prism
表題 (英文)
著者名 (author) Takeshi Nagaoka,Akihiko Ito,Kozo Okano,Shinji Kusumoto
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key) Takeshi Nagaoka,Akihiko Ito,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) Proceedings of International Workshop on Informatics 2009
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 60-66
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 9
出版年 (year) 2009
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル IWIN2009_NUMBER14.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id76,
         title = {QoS Evaluation for Real-time Distributed Systems Using the Probabilistic Model Checker PRISM},
        author = {Takeshi Nagaoka and Akihiko Ito and Kozo Okano and Shinji Kusumoto},
     booktitle = {Proceedings of International Workshop on Informatics 2009},
         pages = {60-66},
         month = {9},
          year = {2009},
}