Modeling and Verification of Hybrid Systems Based on Equations
-
- 二木 厚吉
- 北陸先端科学技術大学院大学
書誌事項
- タイトル
- Modeling and Verification of Hybrid Systems Based on Equations
- 著者
- Kazuhiro Ogara, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi
- 公開日
- 2004
- 資源種別
- journal article
収録刊行物
-
- Proc.of the IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems
-
Proc.of the IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems 43-52, 2004