文献
J-GLOBAL ID：200902110923788370   整理番号：97A0486926

Statechartによる埋込み型システムの合成的仕様記述

Compositional Specification of Embedded Systems with Statecharts.
著者 (2件)：
PHILIPPS J

PHILIPPS J について

(Technische Univ. Muenchen, Muenchen, DEU)

Technische Univ. Muenchen, Muenchen, DEU について

, 
SCHOLZ P

SCHOLZ P について

(Technische Univ. Muenchen, Muenchen, DEU)

Technische Univ. Muenchen, Muenchen, DEU について


資料名：
Lecture Notes in Computer Science  (Lecture Notes in Computer Science)

Lecture Notes in Computer Science について


巻： 1214  ページ： 637-651  発行年： 1997年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
近年,Statechartはリアクティブ,埋込み型システムの...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
システムモデル

システムモデル について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Statechart

Statechart について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0486926&from=J-GLOBAL&jstjournalNo=H0078D") }}
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

,  システムモデル 
(IB02000Z)

システムモデル について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
埋込み型システム

埋込み型システム について

, 
仕様記述

仕様記述 について


前のページに戻る

TOP

BOTTOM