西尾 健 | 国立京都病院 整形外科

スポンサーリンク

概要

• 同名の論文著者
• 国立京都病院 整形外科の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク