T. Nagaoka, A. Ito, K. Okano, and S. 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.
ID 126
分類 国際会議
タグ analysis checker congestion considering distributed model network prism probabilistic qualitative real-time systems
表題 (title) Qualitative Analysis of Real-Time Distributed Systems Considering Network Congestion by Probabilistic Model Checker Prism
表題 (英文)
著者名 (author) Takeshi Nagaoka,Akihiko Ito,Kozo Okano,Shinji Kusumoto
英文著者名 (author) Takeshi Nagaoka,Akihiko Ito,Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Takeshi Nagaoka,Akihiko Ito,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) Proceedings of 2009 International Workshop on Empirical Software Engineering in Practice (IWESEP 2009)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages)
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 10
出版年 (year) 2009
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id126,
         title = {Qualitative Analysis of Real-time Distributed Systems Considering Network Congestion by Probabilistic Model Checker PRISM},
        author = {Takeshi Nagaoka and Akihiko Ito and Kozo Okano and Shinji Kusumoto},
     booktitle = {Proceedings of 2009 International Workshop on Empirical Software Engineering in Practice (IWESEP 2009)},
         month = {10},
          year = {2009},
}