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


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

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

成果分類 題目 発表者 発表年月
 口頭発表   Formalization of System LSI Specification and Automatic Generation of Verification Items   安部 達也、他  2009.03 詳細
 口頭発表   Formalization of System LSI Specification and Automatic Generation of Verification Items    安部 達也、他  2009.03 詳細
 著書・刊行物    仕様書の統一仕様の策定と 仕様整合性検証システムの研究開発    北村 崇師  2009.03 詳細
 口頭発表   利用者指向ディペンダビリティの研究   木下 佳樹  2009.03 詳細
 口頭発表   育成ステージ班   岡本 圭史  2009.03 詳細
 口頭発表   仕様書の統一仕様の策定と 仕様整合性検証システムの研究開発    北村 崇師  2009.03 詳細
 誌上発表   産学官連携について   木下 佳樹  2009.03 詳細
 誌上発表   Fieldwork and the 4:6 Principle-Introduction to the Research Center for Verification and Semantics, AIST   木下 佳樹  2009.03 詳細
 口頭発表   Fieldwork and the 4:6 Principle - Introduction to the Research Center for Verification and Semantics, AIST   木下 佳樹  2009.03 詳細
 口頭発表   Verification Tool and Unified Specifications for Embedded Software   矢田部 俊介  2009.03 詳細
 誌上発表   Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems
 
 崔 銀惠、他  2009.03 詳細
 口頭発表   Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems
 
 崔 銀惠、他  2009.03 詳細
 誌上発表   Toward User Oriented Dependability Standard for Future Embedded Systems   松野 裕、他  2009.03 詳細
 口頭発表   Toward User Oriented Dependability Standard for Future Embedded Systems   松野 裕、他  2009.03 詳細
 誌上発表   Lawvere Theories Enriched over a General Base   西澤 弘毅、他  2009.03 詳細
 口頭発表   Formalization of System LSI Specification and Automatic Generation of Verification Items   安部 達也、他  2009.02 詳細
 口頭発表   Formalization of System LSI Specification and Automatic Generation of Verification Items   安部 達也、他  2009.02 詳細
 口頭発表   プログラムの意味と検証   木下 佳樹  2009.02 詳細
 誌上発表   Verification of Evidence Life Cycles in Workflow Diagrams with Passback Flows   高木 理、他  2009.02 詳細
 口頭発表   Sequent Calculus for 2-backtracking   ステファノ ベラルディ、他  2009.02 詳細
 誌上発表   Formal Verification in a First-Order Extension of Modal $\mu$-calculus   岡本 圭史  2009.02 詳細
 口頭発表   利用者指向ディペンダビリティ   松野 裕  2009.01 詳細
 誌上発表   Verification Tool and Unified Specifications for Embedded Software   矢田部 俊介  2008.12 詳細
 口頭発表   利用者指向ディペンダビリティの研究   高村 博紀  2008.12 詳細
 口頭発表   システム不具合検出の数理的技法~医療システムを安全にするために~   木下 佳樹  2008.12 詳細
前へ  1  2  3  次へ 
問い合わせ先: aist-seikadb-ml@aist.go.jp