CVS

center-name

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

CVS 研修コース開催のお知らせ

システム開発者のための「モデル検査研修コース」

研修コース

(1) モデル検査研修コース・初級編
  • 日程・・・・2008年12月9日(火)〜12日(金) 4日間 (終了)
  • 時間・・・・10:00 〜 17:00 (昼食休憩1時間)  
  • 会場・・・・(独)産業技術総合研究所システム検証研究センター6F
  • 定員・・・・8名(定員になり次第締め切ります)
(2) モデル検査研修コース・中級編
  • 日程・・・・2009年2月2日(月)〜4日(水) 3日間  (終了)
  • 時間・・・・10:00 〜 17:00 (昼食休憩1時間)  
  • 会場・・・・(独)産業技術総合研究所システム検証研究センター6F  
  • 定員・・・・8名

お問合せ

 研修コース事務局
 問い合わせフォーム  

※本ページにて入手した個人情報は、研修コースの通知目的以外での使用はいたしません。


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