文献

J-GLOBAL ID：200902113075470550   整理番号：98A0625948

プロセス検証とグローバル検証による高速プロトコル検証

Fast Protocol Validation by the Combination of Process Inspection and Global Inspection.

著者 (5件)： 若原恭 (国際電電 研) ,  新田文雄 (国際電電 研) ,  宇都宮栄二 (国際電電 研) ,  小田稔周 (国際電電 研) ,  斎藤博徳 (国際電電 研)
資料名： 電子情報通信学会論文誌 B-1  (Transactions of the Institute of Electronics, Information and Communication Engineers. B-1)
巻： J81-B-1  号： 6  ページ： 378-390  発行年： 1998年06月 
JST資料番号： S0622B  ISSN： 0915-1877  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,信号送受信に関する定義の過不足やデッドロック等の...

シソーラス用語： *プロトコル ,...
準シソーラス用語： 計算の複雑さ

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=98A0625948&from=J-GLOBAL&jstjournalNo=S0622B") }}

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (12件)：

• WEST, C. H. General technique for communications protocol validation. IBM J. Res. Devel. 1978, 22, 4, 393-404
• ZAFIROPURO, P. Protocol validation by duologue matrix analysis. IEEE Trans.Commum. 1978, COM-26, 8, 1187-1194
• ITOH, M. Protocol verification algorithm using reduced reachability analysis. Trans.IECE. 1983, E66, 2, 88-93
• GOUDA, M. Protocol validation by maximal progress state exploration. IEEE Trans.Commun. 1984, COM-32, 1, 94-97
• 若原恭. プロセス状態遷移一括処理によるプロトコル検証. 信学論(B). 1988, J71-B, 12, 1446-1455

タイトルに関連する用語 (4件)： プロセス ,  検証 ,  グローバル ,  プロトコル