检索
E-mail
RSS

作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
基于MAS 模型检测与抽象的Web 服务验证
许兴旺,骆翔宇
Verification of Web Services Based on MAS Model Checking and Abstraction
XU Xingwang,LUO Xiangyu
计算机工程 . 2015, (3): 26 -31,36 .  DOI: 10.3969/j.issn.1000-3428.2015.03.005

总访问量 ，当前在线

copyright@《计算机工程》编辑部

2023 © 华东计算技术研究所（中国电子科技集团公司第三十二研究所） 沪ICP备08102551号-2

地址：上海市嘉定区澄浏公路63号(201808) Tel：021-67092217(费用/发票)（稿件问题请直接联系栏目编辑） E-mail：ecice06@ecict.com.cn

沪公网安备31011402007040号

本系统由北京玛格泰克科技发展有限公司设计开发