文献

J-GLOBAL ID：201002268818392279   整理番号：10A1604146

マルチエージェントシステム:ハイブリッド・オートマトンを使用したモデリングと検証

Multi-Agent Systems: Modeling and Verification Using Hybrid Automata

著者 (2件)： MOHAMMED Ammar (Univ. Koblenz-Landau, Koblenz) ,  FURBACH Ulrich (Univ. Koblenz-Landau, Koblenz)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 5919  ページ： 49-66  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： マルチエージェントシステム ,  オートマトン ,  モデリング ,  検証