NEWS新着情報
- 2011/08/31 テクニカルレポートを発行いたしました。
- 2011/11/22 北村崇師研究員が情報処理学会 2011年度(平成23年度)山下記念研究賞を 受賞
- 2011/12/01 産総研TODAY12月号に特集記事を掲載しています。
- 2011/12/09 契約職員を募集いたします。
- 2011/12/09 早水公二研究員がクリティカルソフトウェアワークショップにて 最優秀賞を受賞
- 2012/02/01 第二百六十三回 CLCを開催いたします。

EVENTイベント情報
| 2011/7/13〜 |
モデル検査技術演習 (PT001) の試行開催をいたします。→くわしくはこちら |
| 2011/11/21 | 第5回「さつき」講習会 モデル検査(SMV)編を開催いたします。 |

















