複雑システムの信頼性を向上させる開発手法--アーキテクチャ設計手法とモデル検査の融合

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 加藤 淳

  慶応大 大学院システムデザイン・マネジメント研究科

• 狼 嘉彰

  慶應義塾大学大学院システムデザイン・マネジメント研究科

関連論文

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

スポンサーリンク