Search this site
プログラミング科学研究所
HOME
メンバー
研究紹介
プログラミング科学とは?
形式アシュランスケース
Agda言語
公開成果物
FFO Basic Pattern 1 公開ページ
Formal assurance case Framework for Open systems dependability (FFO)
プログラミング科学研究所
HOME
メンバー
研究紹介
プログラミング科学とは?
形式アシュランスケース
Agda言語
公開成果物
FFO Basic Pattern 1 公開ページ
Formal assurance case Framework for Open systems dependability (FFO)
More
HOME
メンバー
研究紹介
プログラミング科学とは?
形式アシュランスケース
Agda言語
公開成果物
FFO Basic Pattern 1 公開ページ
Formal assurance case Framework for Open systems dependability (FFO)
2014-07-25 「システム検証法を研究/地域防災計画の改善にも」〜形式アシュランスケース〜
Post date: Jul 25, 2014 1:53:57 PM
7月15日付日刊工業新聞に、形式アシュランスケース研究が紹介されました。
Report abuse
Page details
Page updated
Report abuse