2011年08月01日
日経Tech On、本ポータルサイトを紹介
2011年05月17日
日刊工業新聞、本ポータルサイトを紹介
2011年04月04日
日本情報産業新聞、本ポータルサイトを紹介
2011年03月29日
産総研、形式手法の応用ワークショップを4月に開催
2011年02月09日
3月10日 (木) 新世代情報セキュリティ研究開発シンポジウム開催
2月14日 (月) 形式手法セミナー開催
2010年12月01日
形式手法の実践ポータルサイト、プレオープン。
このページの先頭へ戻る