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

国際会議
[1] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji 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.

Search

Tags

この検索内の頻出タグ: systems:1 real-time:1 qualitative:1 probabilistic:1 prism:1 network:1 model:1 distributed:1 considering:1 congestion:1 checker:1 analysis:1

1 件の該当がありました. : このページの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.033095 seconds.