Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

論文誌
[1] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji 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, volume E94-D, number 5, May 2011.
国際会議
[1] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto, "Qos Evaluation for Real-Time Distributed Systems Using the Probabilistic Model Checker Prism," In Proceedings of International Workshop on Informatics 2009, pages 60-66, September 2009. [IWIN2009_NUMBER14.pdf]

Search

Tags

この検索内の頻出タグ: real-time:2 qos:2 probabilistic:2 model:2 distributed:2 technique:1 systems:1 simulation:1 prism:1 hybrid:1 evaluation:1 checking:1 checker:1 analysis:1

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

Search: 簡易 | 詳細 || 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.080824 seconds.