文献

J-GLOBAL ID：200902194119875278   整理番号：02A0378730

非同期プロセスを持つ時間付きオートマトン スケジューリング可能性および決定可能性

Timed Automata with Asynchronous Processes: Schedulability and Decidability.

著者 (3件)： FERSMAN E (Uppsala Univ., SWE) ,  PETTERSON P (Uppsala Univ., SWE) ,  YI W (Uppsala Univ., SWE)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 2280  ページ： 67-82  発行年： 2002年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 実時間システムの開発においては,実装前にスケジューリング可能...

シソーラス用語： *スケジューリング ,...
準シソーラス用語： 時間付きオートマトン ,...

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

分類 (2件)： オペレーティングシステム  (JD03020J) ,  オートマトン理論  (JB04000O)

タイトルに関連する用語 (6件)： 非同期 ,  プロセス ,  時間付きオートマトン ,  スケジューリング ,  可能性 ,  決定可能性