基于模块化可达图的服务组合验证及其 BPEL 代码自动生成

基于模块化可达图的服务组合验证及其 BPEL 代码自动生成
复制标题

DOI:
--
复制
发表时间:
--
期刊:
软件学报
影响因子:
--
通讯作者:
李喜彤
李喜彤
中科院分区:
其他
文献类型:
--
作者:
杜彦华;范玉顺;李喜彤

文献摘要

相似文献