2018年01月05日
CAPEC セキュリティ攻撃パターン分類
2016年03月02日
産業クリティカルシステムに対するフォーマルメソッドの応用に関する会議FMICSの動向
2016年01月01日
PLCにおける静的コード解析の動向
2015年10月28日
Amazon Web Service（AWS）と形式手法
2015年09月07日
第三世代モバイルFeliCa ICチップの開発におけるVDM活用方法の変化
2015年06月30日
プライバシー設計のための形式的なフレームワーク
2015年02月02日
IoT研究におけるフォーマルメソッドの利用
2014年09月30日
FMICS 2014会議における自動車センサー・信号システム等の検証技術の発表
2013年06月17日
仏ALCATEL社、制御システム(PLC制御プログラム)に対してモデル検査手法を適用
2013年06月13日
モデル検査手法ベースとした自動車制御ソフトウェアの高信頼検査技術を開発
2013年06月07日
IPAソフトウェア品質説明力強化事業における実証実験で形式手法を適用
2013年05月29日
Philips Healthcare、医療機器制御システムへの形式手法の適用事例を報告
2012年08月19日
国際シンポジウムFM 2012 Symposiumの開催情報
2012年08月01日
サイバーセキュリティ脅威（攻撃手法）と対策技術の整理
2012年07月03日
開発アプローチへの形式手法の活用に関するワークショップ FormSERA 2012 開催
2011年09月28日
NSA情報保護システムに於ける形式手法適用アプローチ、AVoCS 2011招待講演
2011年08月01日
日経Tech On、本ポータルサイトを紹介
2011年07月19日
CMU、自動車制御に関する分散モデルの開発と検証
IPA、アーキテクチャと形式手法に関するセミナー開催
2011年07月18日
産総研，モデル検査技術演習を開催
このページの先頭へ戻る