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)
JST イノベーション・ジャパン2015 に出展しました。
Post date: Aug 7, 2015 8:39:58 AM
配布資料1:
形式アシュランスケースとは?
配布資料2:
ポスター
Report abuse
Page details
Page updated
Report abuse