位置：成果数据库 > 会议 > 会议详情页
Translation-based Verification of Web Services Composition via ZING
  • 所属机构名称：桂林电子科技大学
  • 会议名称：2010 International Conference on Intelligent Computing and Integrated Systems
  • 成果类型：会议
  • 相关项目：基于时态认知逻辑的特征交互无界模型检测
作者： Kaile Su|Rongsheng Dong|Xiangyu Luo|Jingjing Lu|
同会议论文项目
基于时态认知逻辑的特征交互无界模型检测
期刊论文 24 会议论文 15
同项目会议论文
基于ZING的Web服务建模与验证
Exact Weight Perfect Matching of Bipartite Graph is NP-Complete
Solving Sum and Product Riddle via BDD-based model checking
Model Checking Behavioral Specification of BPEL Web Services
Interest property of e-commerce protocols and its verification in strand space model
Interest property of e-commerce protocols and its verification in strand space model
Dynamic Web Services Composition Based on QoS Model
Symbolic Model Checking the Knowledge in Herbivore Protocol
Detecting feature interactions in web services with timed automata
Model checking Needham-Schroeder security protocol based on temporal logic of knowledge
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
Model checking airline tickets reservation system based on BPEL
Automatic verification of composite web services based on temporal and epistemic logic
The based-role PMI model for access control in large scale netware system