BPEL4WSで記述されたアプリケーションのモデル検査に関する研究
| dc.contributor.author | Nakamori, Takahiro / 中森, 崇浩 | en_US |
| dc.date.accessioned | 2014-05-16T01:05:41Z | |
| dc.date.available | 2014-05-16T01:05:41Z | |
| dc.date.issued | 2005-03-23 | en_US |
| dc.description | 修士（工学）, 2004, 開放環境科学専攻 | en_US |
| dc.identifier.uri | /sigma_local/handle/10721/1488 | |
| dc.language | jpn | en_US |
| dc.publisher | 慶應義塾大学理工学研究科 | en_US |
| dc.subject | BPEL4WS | en |
| dc.subject | Model Checking | en |
| dc.subject | BPEL4WS | ja |
| dc.subject | モデル検査 | ja |
| dc.title | BPEL4WSで記述されたアプリケーションのモデル検査に関する研究 | en_US |
| dc.title.alternative | A Study on Model Checking BPEL4WS Applications | en_US |
| dc.type | 学位論文 | en_US |