杉本 宗一郎 | ISAS, JAXA:東大理

スポンサーリンク

概要

• 杉本 宗一郎の詳細を見る
• 同名の論文著者
• ISAS, JAXA:東大理の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク