2011年
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems.
International Journal on Software Tools for Technology Transfer (STTT)
- ,
- ,
- 巻
- 13
- 号
- 5
- 開始ページ
- 449
- 終了ページ
- 461
- 記述言語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1007/s10009-011-0193-y
- リンク情報
- ID情報
-
- DOI : 10.1007/s10009-011-0193-y
- DBLP ID : journals/sttt/IshiiUH11