CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

算譜科学研究速報 (テクニカルレポート)

CVSでは、テクニカルレポートの他、書籍も出版しております。こちらもご覧ください。


 2010年   2008年   2007年   2006年   2005年   2004年   2003年   2002年   2001年

2009年

Number Auther / Title Date PDF

PS-2009-010 Keishi Okamoto, Makoto Takeyama 12月 pdf1.7MB
Assurance Caseへの形式手法的アプローチ(in English)


PS-2009-009 西原秀明、青木利晃、粂野文洋、篠崎孝一、田口研治、早水公二 8月 pdf249KB
MCBOK2008:ソフトウェア開発のためのモデル検査知識体系
* 組込みシステムシンポジウム2009論文集(ESS 2009) p49-57

PS-2009-008 木下佳樹、松野裕、高村博紀、武山誠 [訳] 8月 pdf2.1MB
対訳 ディペンダブル・セキュアコンピューティングの 基本概念と用語

PS-2009-007 Yoshiki Kinoshita 7月 pdf177KB
User Oriented Dependability

PS-2009-006 Tatsuya Abe, Takashi Higuchi, Rintaro Imai, Yoshiki Kinoshita, Satoshi Nakano, Keishi Okamoto, Masaya Saito, and Makoto Takeyama 7月 pdf116KB
Formalization of System LSI Specification and Automatic Generation of Verification Items

PS-2009-005 Yoshiki Kinoshita 6月 pdf300KB
Fieldwork and the 4:6 Principle - introduction to the Research Center for Verification and Semantics, AIST

PS-2009-004 システム検証研究センター 5月 pdf1.29MB
システム検証の事例報告集 2008年度版

PS-2009-003 システム検証研究センター 5月 pdf2.93MB
2008年度(平成20年度)研究報告集

PS-2009-002 木下佳樹、武山誠、松野裕 5月 pdf560KB
ディペンダビリティ調査報告 2月22日〜3月9日 Newcastle, Edinburgh, York, Bath, London, UK

PS-2009-001 システム検証研究センター 2月 pdf4.7MB
第五回システム検証の科学技術シンポジウム(SSV2008) 講演論文集


産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.