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

研究会・全国大会等
[1] 楠 野明, 岡野 浩三, 楠本 真二, "シーケンス図が持つメッセージ順序の曖昧性除去手法の提案," 電子情報通信学会技術研究報告, volume 114, number 510, 2015年3月. [sigss-k-noa.pdf]
[2] 伊藤明彦, 長岡武志, 岡野浩三, 楠本真二, "確率的モデル検査ツールを用いた実時間ネットワークシステムの 検証手法の提案およびネットワークシミュレータNS-2 との比較," 電子情報通信学会技術報告, volume 109, number 170, pages 37-42, 2009年8月. [SIGSS0908.pdf]
学位論文
[1] 楠 野明, "非同期モデルのシーケンス図に含まれるメッセージ順序の曖昧性除去手法," 修士学位論文, 大阪大学, 2015年. [master_thesis]

Search

Tags

この検索内の頻出タグ: Model:3 Checking:3 XML:2 Temporal:2 Sequence:2 Logic:2 Linear:2 Diagram:2 Verification:1 System:1 Simulation:1 Real-time:1 PRISM:1 Network:1 Formal:1

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