JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
H15) (Jun.2003 - Mar.2004 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/1772
|
Title: | CafeOBJ を用いたハイブリッドシステムの形式的な仕様記述と検証 |
Authors: | 山岸, 大悟 |
Authors(alternative): | やまぎし, だいご |
Keywords: | CafeOBJ, ハイブリッドシステム, HOTS, アクティビティ, モデル化 CafeOBJ, hybrid systems, HOTS, activity, modeling |
Issue Date: | Mar-2004 |
Description: | Supervisor:二木 厚吉 情報科学研究科 修士 |
Title(English): | Formal specification development and verification of hybrid systems based on CafeOBJ |
Authors(English): | Yamagishi, Daigo |
Language: | jpn |
URI: | http://hdl.handle.net/10119/1772 |
Appears in Collections: | M-IS. 2003年度(H15) (Jun.2003 - Mar.2004)
|
Files in This Item:
File |
Description |
Size | Format |
2267abstract.pdf | | 96Kb | Adobe PDF | View/Open | 2267jabstract.pdf | | 53Kb | Adobe PDF | View/Open | 2267paper.pdf | | 558Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|