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

スポンサーリンク

概要

• 加藤 淳の詳細を見る
• 同名の論文著者
• 慶応大 大学院システムデザイン・マネジメント研究科の論文著者

関連著者

• 加藤 淳

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

• 狼 嘉彰

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

• 加藤 淳

  慶應義塾大学医学部血液内科

• 狼 嘉彰

  慶應義塾大学

• 加藤 淳

  慶應義塾大学医学部 血液内科

• 宮本 祐子

  宇宙航空研究開発機構

• 片平 真史

  宇宙航空研究開発機構

• 神武 直彦

  宇宙航空研究開発機構

• 石濱 直樹

  宇宙航空研究開発機構

• 加藤 淳

  有人宇宙システム株式会社

• 星野 伸行

  有人宇宙システム株式会社

• 神武 直彦

  宇宙航空研究開発機構:(現)慶應義塾大学

もっと見る 閉じる

著作論文

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

スポンサーリンク