Slide
Show JP
☰
探索
サインイン
サインアップ
アップロード
×
ダウンロード
カテゴリーなし
社会を支えるソフトウェアの信頼性・安全性 形式
ソフトウエアの信頼性を高めるための
No.13 ウメモドキ （梅擬）
ソフトウェアシステムのリスク低減に 対する形式手法からのアプローチ
Poster
形式手法とその数学的背景に関する研究
応用事例情報
