論文

査読有り
2009年11月

An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems

Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE2009)
  • Daisuke Ishii
  • ,
  • Kazunori Ueda
  • ,
  • Hiroshi Hosobe

開始ページ
1
終了ページ
9
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)