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
収録刊行物
-
- 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