文献
J-GLOBAL ID：200902090723924856   整理番号：83A0299605

縮退到達可能性解析を用いるプロトコル検証アルゴリズム

Protocol verification algorithm using reduced reachability analysis.
  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=83A0299605&from=J-GLOBAL&jstjournalNo=F0699B") }}
著者 (2件)：
ITOH M

ITOH M について

(Musashino Electrical Communication Lab., Tokyo)

Musashino Electrical Communication Lab., Tokyo について

, 
ICHIKAWA H

ICHIKAWA H について

(Musashino Electrical Communication Lab., Tokyo)

Musashino Electrical Communication Lab., Tokyo について


資料名：
Transactions of the Institute of Electronics and Communication Engineers of Japan Section E (English)  (Transactions of the Institute of Electronics and Communication Engineers of Japan Section E (English))

Transactions of the Institute of Electronics and Communication Engineers of Japan Section E (English) について


巻： 66  号： 2  ページ： 88-93  発行年： 1983年02月 
JST資料番号： F0699B  ISSN： 0387-236X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
多プロセス間プロトコルを形式的に記述するモデル,検証アルゴリ...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プロトコル

プロトコル について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=83A0299605&from=J-GLOBAL&jstjournalNo=F0699B") }}
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
計算機網 
(JC03000K)

計算機網 について

タイトルに関連する用語 (6件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
縮退

縮退 について

, 
到達可能性

到達可能性 について

, 
解析

解析 について

, 
プロトコル

プロトコル について

, 
検証

検証 について

, 
アルゴリズム

アルゴリズム について


前のページに戻る

TOP

BOTTOM