T. Nagaoka, A. Ito, K. Okano, and S. Kusumoto, "Qos Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation," IEICE Transactions on Information and Systems, E94-D(5), May 2011.
ID 127
分類 論文誌
タグ analysis checking distributed hybrid model probabilistic qos real-time simulation systems technique
表題 (title) Qos Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
表題 (英文)
著者名 (author) Takeshi Nagaoka,Akihiko Ito,Kozo Okano,Shinji Kusumoto
英文著者名 (author) Takeshi Nagaoka,Akihiko Ito,Kozo Okano,Shinji Kusumoto
キー (key) Takeshi Nagaoka,Akihiko Ito,Kozo Okano,Shinji Kusumoto
定期刊行物名 (journal) IEICE Transactions on Information and Systems
定期刊行物名 (英文)
巻数 (volume) E94-D
号数 (number) 5
ページ範囲 (pages)
刊行月 (month) 5
出版年 (year) 2011
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@article{id127,
         title = {QoS Analysis of Real-time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation},
        author = {Takeshi Nagaoka and Akihiko Ito and Kozo Okano and Shinji Kusumoto},
       journal = {IEICE Transactions on Information and Systems},
        volume = {E94-D},
        number = {5},
         month = {5},
          year = {2011},
}