电脑体验，效果更佳

TLA图谱-计算机领域：

研究人员

黄贻望 万良 庞士焕 王戟 张琦 李祥 朱相冰 许迅 李迎春 王一飞 陈火旺 陈立前 汤萍萍

相关术语

模型检验 模型检测 Web服务组合验证 ABP TLC Conversation模型 BRP 正确性验证 TLA BPEL4WS 安全协议 Web服务 BPEL 验证 规约

标签云