- Web服务组合及验证的形式化分析方法
- 点击次数：
- 发布时间： 2018-06-04
- 所属单位：计算机科学与数学学院
- 负责人姓名：唐郑熠
- 项目状态：进行
- 项目分类：科研启动基金
- 研究类别：应用研究
- 项目性质：PROJECTNATURE_ID938672
- 项目来源：自选课题
- 项目参与人员：唐郑熠,刘文瑜,王颖,林芳,胡文瑜,王金水
- 项目编号：2264
- 立项时间：2013-12-01
- 计划完成时间：2015-11-30
- 开始日期：2013-12-01
- 项目批准号：闽工院[2113]科16号
所在单位：信息科学与工程学院
所属院系：电气与信息工程学院