您当前的位置：
首页 >
文章列表页 >
基于XCFG的BPEL数据流属性分析与验证
基于XCFG的BPEL数据流属性分析与验证
XCFG-Based Analysis and Verification for Data Flow Property of BPEL
- 电子学报 2013年41卷第7期 页码：1365-1370
DOI： 10.3969/j.issn.0372-2112.2013.07.019
移动端阅览
HTML全文
参考文献
出版信息
数据统计
42
浏览量
2095
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
基于幂表的并行加法器的归纳验证
基于时序约束分解的QoS感知的Web服务组合
基于微分动态逻辑的CPS建模与属性验证
双极模拟集成电路计算机辅助剖析和验证系统
基于稀疏贝叶斯学习的OTFS系统脉冲噪声抑制方法
相关作者
任兴田
方 娟
侯亚荣
代桂平
王 勇
宋国新
邵志清
张欢欢
相关机构
北京工业大学计算机学院
北京工业大学电控学院
华东理工大学计算机技术研究所
中国科学院软件研究所计算机科学重点实验室
华东理工大学计算机技术研究所上海
