|国家科技期刊平台
| 注册
首页|期刊导航|计算机技术与发展|基于TLA的正确性验证方法

基于TLA的正确性验证方法

庞士焕 朱相冰 张琦 汤萍萍

计算机技术与发展2009，Vol.19Issue(3)：55-58,4.
✕
计算机技术与发展2009，Vol.19Issue(3)：55-58,4.

基于TLA的正确性验证方法

A Method of Verification Based on TLA

庞士焕 1朱相冰 2张琦 3汤萍萍4

作者信息

  • 1. 安徽师范大学,教育科学学院,安徽,芜湖,241000
  • 2. 安徽师范大学,物理与电子信息工程学院,安徽,芜湖,241000
  • 3. 西北大学,软件学院,陕西,西安,710000
  • 4. 东南大学,计算机学院,江苏,南京,211189
  • 折叠

摘要

关键词

Web服务/TLA/BPEL/Conversation模型/正确性验证

分类

信息技术与安全科学

引用本文复制引用

庞士焕,朱相冰,张琦,汤萍萍..基于TLA的正确性验证方法[J].计算机技术与发展,2009,19(3):55-58,4.

基金项目

安徽省自然科学基金项目(KJ2007B061) （KJ2007B061）

安徽省教育厅重点项目(KJ2008A142C) （KJ2008A142C）

计算机技术与发展

OACSTPCD

1673-629X

访问量4
|
下载量0
段落导航相关论文