CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 
  1. 計算機言語談話会(CLC)
  2. システム設計検証技術研究会
  3. AIST/CVS ワークショップ
  4. シンポジウム
  1. CVS教程
  2. 教科書
arrowリンク集
  1. 連携検証施設:さつき
  2. ACTAS
  3. SciencePortal (JST)

What's New 
      (2010年02月08日更新)

 02月08日 当センターは2/25より尼崎サイトへ移転いたします。 NEW
移転作業を2月23日・24日に行う都合上、電話・FAXが繋がりにくくなる場合がございますので、至急のご連絡の際は、メールにてご連絡お願い申し上げます。
 02月03日 テクニカルレポートを発行しました。 NEW

 

 01月15日 システム検証研究センター最終報告会 を開催いたします。 NEW
2010/03/18(木) 10:00〜17:35
 01月06日 平成21年度第5回システム設計検証技術研究会  終了
2010/01/28(木) 16:00〜18:00

 

 12月25日 テクニカルレポートを発行しました。
 12月07日 平成21年度第4回システム設計検証技術研究会 終了
2009/12/21(月) 16:00〜18:00

 

BackNumber

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