文献
J-GLOBAL ID：200902170718125850   整理番号：03A0101733

時間付きシステムのための有界モデル検査

Bounded Model Checking for Timed Systems.
著者 (4件)：
AUDEMARD G

AUDEMARD G について

(ITC-IRST, Trento, ITA)

ITC-IRST, Trento, ITA について

, 
CIMATTI A

CIMATTI A について

(ITC-IRST, Trento, ITA)

ITC-IRST, Trento, ITA について

, 
KORNILOWICZ A

KORNILOWICZ A について

(ITC-IRST, Trento, ITA)

ITC-IRST, Trento, ITA について

, 
SEBASTIANI R

SEBASTIANI R について

(ITC-IRST, Trento, ITA)

ITC-IRST, Trento, ITA について


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

Lecture Notes in Computer Science について


巻： 2529  ページ： 243-259  発行年： 2002年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
過去十年間に時間付きシステムの検証技術が大幅に進歩したので,...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
オートマトン

オートマトン について

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

計算の複雑さ について

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

計算理論 について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
有界

有界 について

, 
モデル検査

モデル検査 について


前のページに戻る

TOP

BOTTOM