首页   |   期刊介绍   |   编 委 会   |   投稿指南   |   期刊订阅   |   检索与收录   |   联系我们   |   专栏投稿  |  旧版网站入口
论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于Verics的组合Web服务有界模型检测
骆翔宇1,2,轩爱成3,沙宗鲁3
1(华侨大学 计算机科学与技术学院,福建 厦门 361024),2(清华大学 软件学院, 北京 100084),3(桂林电子科技大学 计算机与控制学院, 广西 桂林 541004)
Bounded Model Checking Web Services Composition via Verics
LUO Xiang-yu1,2, XUAN Ai-cheng3, SHA Zong-lu3
1(College of Comupter Science & Technology, Huaqiao University, Xiamen 361024,China),2(School of Software, Tsinghua University, Beijing 100084, China),3(School of Computer and Control, Guilin University of Electronic Technology, Guilin 541004, China)


版权所有 © 《小型微型计算机系统》编辑部
主办单位:中国科学院沈阳计算技术研究所 主编:郭锐锋
国内邮发代号:8-108 国外发行代号:M349 通信地址:沈阳市浑南区南屏东路16号 邮编:110168
联系电话:(024)24696120 E-mail: xwjxt@sict.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn