Art

J-GLOBAL ID：201002203753172794   Reference number：10A1172899

Reasoning about hybrid systems based on a nonstandard model

非標準モデルに基づいたハイブリッドシステムについての推論

Author (2)： NAKAMURA K ,  FUSAOKA A
Material： AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Page： 749-754  Publication year： 2007 
JST Material Number： I20070349  ISSN： 0302-9743  Document type： Article
Country of issue： Other (ZZZ)  Language： ENGLISH (EN)

Terms in the title (3)： 標準モデル ,  ハイブリッドシステム ,  推論