山本 敬一 | 慶応大 大学院システムデザイン・マネジメント研究科
スポンサーリンク
概要
慶応大 大学院システムデザイン・マネジメント研究科 | 論文
- 複雑システムの信頼性を向上させる開発手法--アーキテクチャ設計手法とモデル検査の融合
- クリティカルソフトウェアに対するIV&V : Independent Verification and Validation(一般セッション E_テスト・検証)
- FPGAとソフトウェアにおける協調動作の整合性に関する評価手法の提案(組込み(学生セッション))
- モデル検査における安全性プロパティの系統的な導出手法