CVS

center-name

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

CVS News Letter

CVS ニュースレター

CVSでは、2005年8月より日々の研究活動や取り組みを紹介すべく、「CVSニュースレター」を発行することとなりました。
このニュースレターは、CVSでの研究活動を紹介した冊子で、1年に3回をめどに発行していく予定です。
編集にあたりましては、専門外の方にも短時間でご理解いただくため、わかりやすさを優先し、専門用語にかたよらないよう心がけました。このニュースレターをお読みいただく全ての方々に、研究現場の雰囲気を少しでも感じていただければと存じます。

ニュースレターは、このページからPDFで入手いただけます。

arrowニュースレター最新号PDF

          2010年01月発行 CVS ニュースレター13号

NL13 <目次>
・巻頭言 「情報産業」 ・・・ 1P
・トピックス1 「WS(SBDCES)」 ・・・ 2P
・トピックス2 「産総研オープンラボ」 ・・・ 3P
・CVSニュース1 「ET2009出展報告」 ・・・ 4P
・CVSニュース2 「JTC1/ST7ミーティング報告」 ・・・ 5P
・イベント、講演会 ・・・ 6P
    13号PDF(1.2MB) ※別のブラウザーが立ち上がります。

arrowこれまでのニュースレター

NL11 NL12
11号PDF(953KB) 12号PDF(590KB)
NL06 NL07 NL08 NL09 NL10
6号PDF(734KB) 7号PDF(710KB) 8号PDF(970KB) 9号PDF(673KB) 10号PDF(947KB)
NL01 NL02 NL03 NL04 NL05
創刊号PDF(720KB) 2号PDF(637KB) 3号PDF(577KB) 4号PDF(682KB) 5号PDF(531KB)

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