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

スポンサーリンク

概要

• 狼 嘉彰の詳細を見る
• 同名の論文著者
• 慶應義塾大学大学院システムデザイン・マネジメント研究科の論文著者

関連著者

• 加藤 淳

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

• 狼 嘉彰

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

• 加藤 淳

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

• 狼 嘉彰

  慶應義塾大学

• 加藤 淳

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

著作論文

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

スポンサーリンク