書誌事項
- タイトル別名
-
- Verification of Dual Redundant Communication Protocols Using Model Checking
- モデル検査を用いた通信プロトコル二重化の検証
- モデル ケンサ オ モチイタ ツウシン プロトコル ニジュウカ ノ ケンショウ
この論文をさがす
収録刊行物
-
- 電子情報通信学会論文誌. D, 情報・システム
-
電子情報通信学会論文誌. D, 情報・システム 93 (7), 1154-1164, 2010-07-01
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050282677595825792
-
- NII論文ID
- 110007642049
-
- NII書誌ID
- AA12099634
-
- HANDLE
- 2241/00125292
-
- NDL書誌ID
- 10766340
-
- ISSN
- 18804535
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles