論文

査読有り
2011年

An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems.

International Journal on Software Tools for Technology Transfer (STTT)
  • Daisuke Ishii
  • ,
  • Kazunori Ueda
  • ,
  • Hiroshi Hosobe

担当区分
筆頭著者, 責任著者
13
5
開始ページ
449
終了ページ
461
記述言語
掲載種別
研究論文(学術雑誌)
DOI
10.1007/s10009-011-0193-y

リンク情報
DOI
https://doi.org/10.1007/s10009-011-0193-y