Web服务组合形式化验证方法研究

著录项

• 来源
  《计算机工程与应用》 |2009年第25期|48-5170|共5页
• 作者

  曹利培; 孔娟; 刘静;

  展开▼
• 作者单位

  安阳工学院;

  计算机科学与信息工程系;

  河南;

  安阳;

  455000;

  安阳工学院;

  计算机科学与信息工程系;

  河南;

  安阳;

  455000;

  华东师范大学;

  软件学院;

  计算机理论研究所;

  上海;

  200062;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 计算机软件;
• 关键词

  Petri网; 关联矩阵; 转移矩阵; 可信度;