文献

J-GLOBAL ID：200902290879133572   整理番号：04A0845854

開放型マップ,交代式シミュレーションと制御シンセシス

Open Maps, Alternating Simulations and Control Synthesis

著者 (1件)： TABUADA P (Univ. Notre Dame, IN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3170  ページ： 466-480  発行年： 2004年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 開放型 ,  マップ ,  シミュレーション ,  シンセシス