神奈川大学 プログラミング科学研究所
このサイトを検索
お知らせ
研究所概要
プログラミング科学とは?
形式アシュランスケース
Agda言語
Link
WOSD2015
TPP2015
神奈川大学
湘南平塚キャンパス
DEOS協会標準化部会
サイトマップ
神奈川大学 プログラミング科学研究所
>
お知らせ
>
2014-07-25 「システム検証法を研究/地域防災計画の改善にも」〜形式アシュランスケース〜
2014/07/25 6:53
に 奥野康二 が投稿
[
2014/07/27 5:31
に 木下佳樹 さんが更新しました ]
7月15日付日刊工業新聞に、形式アシュランスケース研究が紹介されました。
Comments