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


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

検索結果 (471件HIT)
前へ  1  2  3  4  5  6  7  8  9  10  11  次へ 

成果分類 題目 発表者 発表年月
 誌上発表   Symmetry Reduction を使ったAIS の確率付きモデル検査   豊島崇士、他  2010.03 詳細
 口頭発表   Symmetry Reduction を使ったAIS の確率付きモデル検査   豊島崇士、他  2010.03 詳細
 誌上発表   組込ネットワークシステムの形式モデル指向テストに向けて   崔 銀惠、他  2010.03 詳細
 口頭発表   組込ネットワークシステムの形式モデル指向テストに向けて   崔 銀惠、他  2010.03 詳細
 誌上発表   臨床情報学のための野外科学的方法--技術移転の方法論に向けて   木下 佳樹、他  2010.03 詳細
 口頭発表   Dependability Case for Embedded Systems in DEOS project   松野 裕、他  2009.12 詳細
 誌上発表   FM Approaches to Assurance cases
 
 岡本 圭史、他  2009.12 詳細
 誌上発表   シナリオに基づくモデル検査導入手法の策定 -はじめての現場マニュアル-
 
 関澤 俊弦、他  2009.12 詳細
 口頭発表   シナリオに基づくモデル検査導入手法の策定 -はじめての現場マニュアル-
 
 関澤 俊弦、他  2009.12 詳細
 誌上発表   連携検証施設さつき   尾崎 弘幸、他  2009.12 詳細
 口頭発表   連携検証施設さつき   尾崎 弘幸、他  2009.12 詳細
 イベント出展   システム検証研究センター研究活動、連携検証施設さつきの紹介   奥野 康二、他  2009.11 詳細
 口頭発表   Assurance cases in Agda: Incorporating informality   武山 誠  2009.11 詳細
 口頭発表   一階様相μ計算とその周辺   岡本 圭史  2009.11 詳細
 口頭発表   ω-矛盾な真理理論について   矢田部 俊介  2009.11 詳細
 誌上発表   Agate --an Agda-to-Haskell compiler   尾崎 弘幸、他  2009.11 詳細
 誌上発表   組込み適塾の運営とその波及効果   木下 佳樹、他  2009.10 詳細
 口頭発表   Cluster in the Loop Simulation Framework based on Formal Model-based Testing for Embedded Network Systems   崔 銀惠、他  2009.10 詳細
 口頭発表   仕様処理システム S3 における仕様検査   矢田部 俊介  2009.10 詳細
 誌上発表   Basic Concepts and Taxonomy of
Dependable and Secure Computing
ディペンダブル・セキュアコンピューティングの
基本概念と用語 
 木下 佳樹、他  2009.10 詳細
 誌上発表   Cluster in the Loop Simulation Framework based on Formal Model-based Testing for Embedded Network Systems   崔 銀惠、他  2009.09 詳細
 誌上発表   A simple type-theoretic language: Mini-TT   Thierry Coquand、他  2009.09 詳細
 口頭発表   ディペンダビリティケースを用いた組み込みシステムのディペンダビリティの証拠の提示(ポスター発表)   松野 裕  2009.08 詳細
 口頭発表   Well-behaved General mu-Models of Propositional Modal mu-calculus   岡本 圭史  2009.08 詳細
 誌上発表   Formalization of System LSI Specification and Automatic Generation of Verification Items    中野哲、他  2009.07 詳細
前へ  1  2  3  4  5  6  7  8  9  10  11  次へ 
問い合わせ先: aist-seikadb-ml@aist.go.jp