Lightweight formal methods for component-based software development コンポーネントソフトウェア開発用軽量フォーマルメソッドの研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Lightweight formal methods for component-based software development
- Other Title
-
コンポーネントソフトウェア開発用軽量フォーマルメソッドの研究
- Author
-
松本, 充広
- Author(Another name)
-
マツモト, ミチヒロ
- University
-
北陸先端科学技術大学院大学
- Types of degree
-
博士 (情報科学)
- Grant ID
-
甲第162号
- Degree year
-
2002-03-22
Note and Description
博士論文
Supervisor:二木 厚吉
情報科学研究科
博士
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/920