电脑体验，效果更佳

正确性验证图谱-计算机领域：

研究人员

袁春阳 汤萍萍 梁洪亮 胡金化 庞士焕 贺也平 赵亮 范玉顺 李喜彤 吴新松 周洲仪 张琦 朱相冰 胡乃静

相关术语

着色Petri网 工作流网 Petri网 强制访问控制框架 静态分析 BPEL 服务组合 mygcc TLA 工作流 Web服务 Conversation模型 钩子放置

标签云