A protocol specification methodology based on the extended recursive graph formalism 拡張再帰グラフ型式にもとづくプロトコル仕様記述方式
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
A protocol specification methodology based on the extended recursive graph formalism
- Other Title
-
拡張再帰グラフ型式にもとづくプロトコル仕様記述方式
- Author
-
吉田, 広行
- Author(Another name)
-
ヨシダ, ヒロユキ
- University
-
東京大学
- Types of degree
-
理学博士
- Grant ID
-
甲第7971号
- Degree year
-
1989-03-29
Note and Description
博士論文
Table of Contents
- 目次 (8コマ目)