文献

J-GLOBAL ID：200902137792211116   整理番号：95A0245476

混成システムのアルゴリズム的解析

The algorithmic analysis of hybrid systems.

著者 (9件)： ALUR R (AT&T Bell Lab., NJ, USA) ,  COURCOUBETIS C (Univ. Crete, Heraklion, GRC) ,  HALBWACHS N (VERIMAG-SPECTRE, Grenoble, FRA) ,  HENZINGER T A (Cornell Univ., NY, USA) ,  HO P-H (Cornell Univ., NY, USA) ,  NICOLLIN X (VERIMAG-SPECTRE, Grenoble, FRA) ,  OLIVERO A (VERIMAG-SPECTRE, Grenoble, FRA) ,  SIFAKIS J (VERIMAG-SPECTRE, Grenoble, FRA) ,  YOVINE S (VERIMAG-SPECTRE, Grenoble, FRA)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 138  号： 1  ページ： 3-34  発行年： 1995年02月06日 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 混成システムの形式仕様およびアルゴリズム的解析のための一般的...

シソーラス用語： 有限オートマトン ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=95A0245476&from=J-GLOBAL&jstjournalNo=T0022A") }}

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (2件)： アルゴリズム ,  解析