平川 豊 | ATR通信システム研究所
スポンサーリンク
概要
関連著者
-
竹中 豊文
Atr通信システム研究所
-
平川 豊
ATR通信システム研究所
-
平川 豊
電気電子情報工学専攻画像情報処理研究
-
原田 良雄
ATR通信システム研究所
-
門田 充弘
Atr通信システム研究所
-
河田 慶三
Atr通信システム研究所
-
柴田 健次
Atr通信システム研究所
著作論文
- サービス仕様の自動生成に関する考察
- サービス記述検証支援システム
- 分散システムの記述とプロセス動作
- プロセス数に依存しない動作記述における状態の到達可能性解析
- サービス仕様の自動生成に関する考察 : 自動生成機構の構想