確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較

長岡, 武志; 伊藤, 明彦; 岡野, 浩三 他

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2009, 109(170), 37-42

アクセス数:5162025-07-05 09:03 集計

固定URL: https://hdl.handle.net/11094/27435

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr109_170_37 pdf なし 765 KB 98 2014.04.11  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
著者
キーワード等
抄録
出版者
収録物名
巻(号)
ページ
刊行年月
言語
ハンドルURL
PISSN
NCID
アクセス権
権利情報
出版タイプ
カテゴリ