順序機械によってモデル化された通信プロトコルの検証法及びそのOSIセションプロトコルへの適用
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
順序機械によってモデル化された通信プロトコルの検証法及びそのOSIセションプロトコルへの適用
- Author
-
邵, 峰晶
- Author(Another name)
-
シャオ, フォンジン
- University
-
大阪大学
- Types of degree
-
工学博士
- Grant ID
-
甲第4377号
- Degree year
-
1991-03-26
Note and Description
博士論文
Table of Contents
- 目次 / (0005.jp2)
- 関連発表論文 / p1 (0006.jp2)
- 第1章 緒論 / p2 (0007.jp2)
- 第2章 プロトコルのモデル化 / p6 (0011.jp2)
- 第3章 検証法 / p11 (0016.jp2)
- 3.1 論理式 / p11 (0016.jp2)
- 3.2 eventualityの検証手続き / p16 (0021.jp2)
- 3.3 通信路の有界性の十分条件 / p20 (0025.jp2)
- 第4章 プロトコル機械の分解とプロトコルの縮退 / p22 (0027.jp2)
- 4.1 プロトコル機械の分解 / p22 (0027.jp2)
- 4.2 プロトコルの縮退 / p24 (0029.jp2)
- 第5章 検証例 / p29 (0034.jp2)
- 5.1 OSIセション層の概要 / p29 (0034.jp2)
- 5.2 セションプロトコル / p32 (0037.jp2)
- 5.3 FSPnに関する検証 / p38 (0043.jp2)
- 5.4 [化学式]に関する検証 / p47 (0052.jp2)
- 5.5 FSPに関する検証 / p49 (0054.jp2)
- 第6章 結論 / p58 (0063.jp2)
- 謝辞 / p59 (0064.jp2)
- 文献 / p60 (0065.jp2)
- 付録 / p63 (0068.jp2)