文献
J-GLOBAL ID:200902255207414182
整理番号:04A0864930
ハイブリッドシステムの仕様記述言語と形式的検証手法
Specification and Verification of Hybrid Systems
-
出版者サイト
複写サービスで全文入手
-
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0864930&from=J-GLOBAL&jstjournalNo=X0014A") }}
著者 (1件):
資料名:
巻:
48th
ページ:
(37)-(40)
発行年:
2004年
JST資料番号:
X0014A
資料種別:
会議録 (C)
記事区分:
解説
発行国:
日本 (JPN)
言語:
日本語 (JA)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
,...
準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
,...
続きはJDreamIII(有料)にて
{{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0864930&from=J-GLOBAL&jstjournalNo=X0014A") }}
分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
システムモデル
タイトルに関連する用語 (4件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
,
,
,
前のページに戻る