RRPDB_REPOSITORY_J
研究成果発表データベース
検索画面


検索キー 年度=2003 発表者名, 所属部署名=システム検証研究

検索結果 (50件HIT)
前へ  1  2  次へ 

成果分類 題目 発表者 発表年月
 誌上発表   組み込みソフトウェア開発におけるモデル検査の適用に向けて   水口 大知、他  2004.03 詳細
 口頭発表   組み込みソフトウェア開発におけるモデル検査の適用に向けて   水口 大知、他  2004.03 詳細
 誌上発表   ACTAS: Associative and Commutative Tree Automata Simulator    高井 利憲、他  2004.03 詳細
 誌上発表   A Verification Technique Using Term Rewriting Systems and
Abstract Interpretation 
 高井 利憲  2004.03 詳細
 誌上発表   A free construction of Kleene algebras with tests   古澤 仁  2004.03 詳細
 口頭発表   法定計量器の組込ソフトウェアの照合技術について   松岡 聡、他  2004.02 詳細
 口頭発表   値渡しゲームの圏における深さ優先戦略について   松岡 聡  2004.02 詳細
 口頭発表   モデル検査入門   高橋 孝一  2004.02 詳細
 口頭発表   Kripke構造の模倣性に関する基本的性質および縮小化・抽象化に対する証明支援系による形式化   高木 理、他  2004.02 詳細
 口頭発表   単項二階論理とオートマトン・様相μ計算   池上 大介  2004.02 詳細
 口頭発表   抽象解釈にみられる圏論的構成について   西澤 弘毅  2004.02 詳細
 口頭発表   モデル検査による組み込みソフトウェア仕様書の検証実験   水口 大知、他  2004.02 詳細
 口頭発表   書換系と抽象解釈を用いた検証技法   高井 利憲  2004.02 詳細
 口頭発表   時相論理式を用いた抽象化法のツール化に向けて   田辺 良則、他  2004.02 詳細
 誌上発表   トーリックイデアルのグレブナ基底計算アルゴリズム - 数式処理システム Asir への実装   渡邊 芳英、他  2004.01 詳細
 口頭発表   モデル検査とその適用事例の紹介   水口 大知、他  2004.01 詳細
 誌上発表   組込みソフトウェア開発のイン-デザイン モデル検査 -設計工程における仕様書のモデル検査の提案-   篠崎 孝一、他  2004.01 詳細
 口頭発表   (仮題)System Verification and Tree Automata   大崎 人士  2004.01 詳細
 口頭発表   組込みソフトウェア開発のイン-デザイン モデル検査
-設計工程における仕様書のモデル検査の提案- 
 篠崎 孝一、他  2004.01 詳細
 誌上発表   組込みソフトウェア開発のイン-デザイン モデル検査
-設計工程における仕様書のモデル検査の提案- 
 篠崎 孝一、他  2004.01 詳細
 著書・刊行物   組込みシステム関連技術の動向等に関する調査研究   高田広章、他  2003.12 詳細
 誌上発表   抽象化を用いた検証ツールの調査   田辺 良則、他  2003.12 詳細
 口頭発表   システム検証技術とツリーオートマトン   大崎 人士  2003.11 詳細
 口頭発表   モデル検査による組込みソフトウェア仕様書の検証   早水 公二、他  2003.10 詳細
 誌上発表   モデル検査による組込みソフトウェア仕様書の検証   早水 公二、他  2003.10 詳細
前へ  1  2  次へ 
問い合わせ先: aist-seikadb-ml@aist.go.jp