Kusumoto Laboratory: 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, May 2011.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
Tweet
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},
}
  

Search

Tags

1 件の該当がありました. : このページのURL : HTML

Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.033226 seconds.