PREPROCESSOR

作品数：8被引量：4H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：万文霞张铎王龙赵玉卉王志功更多>>
相关机构：江西工业贸易职业技术学院甘肃省科学院东南大学中国船舶重工集团公司更多>>
相关期刊：《甘肃科学学报》《Journal of Southeast University(English Edition)》《经营管理者》《Journal of Atmospheric Science Research》更多>>
相关基金：甘肃省自然科学基金国家自然科学基金国家高技术研究发展计划广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Wuhan University Journal of Natural Sciencesx
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Abstract Model Checking for Web Services
《Wuhan University Journal of Natural Sciences》2008年第4期466-470,共5页QIAN Junyan CAI Guoyong GU Tianlong ZHAO Lingzhong 
the National Natural Science Foundation of China (60663005, 60563005);the Natural Science Foundation of Guangxi Province (0542036, 0728093, 0728089)
Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no...
关键词：Web-services model checking predicate abstraction hypertext preprocessor 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部