文献

J-GLOBAL ID：200902204333445383   整理番号：05A0311180

ハイブリッドシステムの検証は楽ではない 電子スロットル制御の事例研究

Hybrid System Verification Is Not a Sinecure The Electronic Throttle Control Case Study

著者 (2件)： FEHNKER A (Carnegie Mellon Univ., PA, USA) ,  KROGH B H (Carnegie Mellon Univ., PA, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3299  ページ： 263-277  発行年： 2004年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： ハイブリッドシステム ,  検証 ,  電子 ,  スロットル制御 ,  研究