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