サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法

長岡 武志,岡野 浩三,楠本 真二

詳細情報

タイトル UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法
著者 長岡 武志
著者 岡野 浩三
著者 楠本 真二
シリーズ名 ソフトウェアサイエンス
出版年 2007-08
別タイトル Abstraction of extended timed automata for UPPAAL based on counterexample-guided abstraction refinement
件名(キーワード) モデル検査
件名(キーワード) 時間オートマトン
件名(キーワード) モデル抽象化
件名(キーワード) CEGAR
件名(キーワード) UPPAAL
件名(キーワード) Model Checking
件名(キーワード) Timed Automata
件名(キーワード) Model Abstraction
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(ISSN形式) 09135685
掲載誌情報(ISSNL形式) 09135685
掲載誌情報(URI形式) http://iss.ndl.go.jp/books/R100000002-I000000050569-00
掲載誌名 電子情報通信学会技術研究報告 : 信学技報
掲載巻 107
掲載号 176
掲載ページ 77~82
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで