奥山 恵美 | 宮城県栗原農業高等学校

スポンサーリンク

概要

• 奥山 恵美の詳細を見る
• 同名の論文著者
• 宮城県栗原農業高等学校の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク