文献

J-GLOBAL ID：200902096623307467   整理番号：89A0235119

プロセス状態遷移一括処理によるプロトコル検証

Protocol validation by group processing of process state transitions.

著者 (2件)： 若原恭 (国際電電 上福岡研) ,  角田良明 (国際電電 上福岡研)
資料名： 電子情報通信学会論文誌 B  (Transactions of the Institute of Electronics, Information and Communication Engineers. B)
巻： 71  号： 12  ページ： 1446-1455  発行年： 1988年12月 
JST資料番号： S0622A  ISSN： 0913-5715  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 通信プロトコル仕様におけるデッドロック,送信遷移や受信遷移の...

シソーラス用語： プロトコル ,...
準シソーラス用語： プロトコル検証

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

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (5件)： プロセス ,  状態遷移 ,  一括処理 ,  プロトコル ,  検証