一覧に戻る

タイトル
  • 区間解析と制約プログラミングにもとづくハイブリッドシステムのシミュレーションと検証
その他のタイトル
  • Simulation and verification of hybrid systems based on interval analysis and constraint programming
作成者
    • Ishii, Daisuke
    • 石井, 大輔
権利情報
  • Waseda University theses are protected by copyright.
内容注記
  • Other 制度:新 ; 報告番号:甲3017号 ; 学位の種類:博士(工学) ; 授与年月日:2010/2/25 ; 早大学位記番号:新5277
  • Other text
出版者 [出版者不明]
言語
  • eng
資源タイプ thesis
出版タイプ AM
資源識別子 HDL http://hdl.handle.net/2065/34869 , URI https://waseda.repo.nii.ac.jp/records/19244
ファイル
コンテンツ更新日時 2023-10-02