Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
Poster
ソフトウエアの信頼性を高めるための
形式手法とその数学的背景に関する研究
社会を支えるソフトウェアの信頼性・安全性 形式
ソフトウェアシステムのリスク低減に 対する形式手法からのアプローチ
- 1 - 【形式手法適用実証実験について】 IPA では、ソフトウェアおよび
自動車の機能安全（ISO26262）が要求する企業体制と徳目 - So-net
形式手法の研究と実践から ざっくばらんに．．． 形式手法
やや不十分である 概ね達成できた
ISO26262 が要求する安全コンセプトの実用的な記述法の提案
ISO26262 トレーニング/ SGS-TÜV 認定資格 AFSP
応用事例情報
