软件导刊2016，Vol.15Issue(12)：8-10,3.DOI:10.11907/rjdk.162588
RG PS服务层元模型正确性验证
张莉 1杨淑贞 1杨浩2
作者信息
- 1. 浙江长征职业技术学院 计算机与信息技术系，浙江 杭州 310012
- 2. 浙江传媒学院 新媒体学院，浙江 杭州 310018
- 折叠
摘要
关键词
网络式软件/BPEL/Promela/LTL公式/正确性验证分类
信息技术与安全科学引用本文复制引用
张莉,杨淑贞,杨浩..RG PS服务层元模型正确性验证[J].软件导刊,2016,15(12):8-10,3.基金项目
浙江省教育厅一般科研项目(2016) （2016）
浙江省教育中心2014年研究课题(JA049) （JA049）
