|
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.
|
