CVS

center-name

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

プレスリリース

sonota_icon 2008/07/24 高度組込みソフトウェア技術者養成のための「組込み適塾」を開塾
−組込みシステム検証試験施設を用いた技術移転と人材養成を担う組織も発足−
sonota_icon 2008/05/26 ソフトウェア信頼性技術の研究開発・人材養成の産学官連携活動を強化
−ソフトウェア信頼性技術の中核施設−
event_icon 2008/02/20 2007年度研究プロジェクト報告会開催 pdf 229KB
event_icon 2006/09/25 第三回システム検証の科学技術シンポジウムプログラム発表 pdf 368KB
event_icon 2006/06/08 第三回システム検証の科学技術シンポジウム開催<講演募集> pdf 226KB
Lecture_icon 2005/10/14 対話型検証研修コース(初級編)新設 pdf 346KB
event_icon 2005/10/03 第二回システム検証の科学技術シンポジウムプログラム発表 pdf 105KB
event_icon 2005/06/09 第二回システム検証の科学技術シンポジウム開催<講演募集> pdf 83KB


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