A protocol specification methodology based on the extended recursive graph formalism 拡張再帰グラフ型式にもとづくプロトコル仕様記述方式
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
A protocol specification methodology based on the extended recursive graph formalism
- タイトル別名
-
拡張再帰グラフ型式にもとづくプロトコル仕様記述方式
- 著者名
-
吉田, 広行
- 著者別名
-
ヨシダ, ヒロユキ
- 学位授与大学
-
東京大学
- 取得学位
-
理学博士
- 学位授与番号
-
甲第7971号
- 学位授与年月日
-
1989-03-29
注記・抄録
博士論文
目次
- 目次 (8コマ目)