日経エレクトロニクス誌のWEBサイト 日経Tech On において本ポータルサイトとフォーマルメソッド導入ガイダンスについて紹介されました。
三菱総研が「フォーマルメソッド導入ガイダンス」を公開、SPINの適用事例など盛り込む
このページの先頭へ戻る