欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
Timing Analyzer of Scenario-Based Specifications.
所属机构名称:南京大学
成果类型:会议
相关项目:基于场景规约的Web Service组合行为获取与验证研究
同会议论文项目
基于场景规约的Web Service组合行为获取与验证研究
期刊论文 6
会议论文 2
同项目会议论文
Towards a Model Driven Approach to Automatic BPEL Generation.