通信ソフトウェア仕様記述・検証法の研究
Search this Article
Author
Bibliographic Information
- Title
-
通信ソフトウェア仕様記述・検証法の研究
- Author
-
伊藤, 正樹
- Author(Another name)
-
イトウ, マサキ
- University
-
京都大学
- Types of degree
-
工学博士
- Grant ID
-
乙第6074号
- Degree year
-
1986-11-25
Note and Description
博士論文