金井 純子 | 徳島大学 創新教育センター

スポンサーリンク

概要

• 金井 純子の詳細を見る
• 同名の論文著者
• 徳島大学 創新教育センターの論文著者

論文 | ランダム

• モデル検査によるアーキテクチャ設計検証(アーキテクチャ)
• UMLステートダイアグラムの亜種を用いた組み込みソフトウェア振舞い解析(分析・設計技法)
• 機能論理検証問題における組合せ問題の利用 : 充足可能性問題を解法エンジンとして利用する世界(グラフ, ペトリ, ニューラルネット及び一般)
• Webサービスフローの軽量形式解析
• 効率の良いモデル空間探査のための抽象化

もっと見る

スポンサーリンク