电脑体验，效果更佳

李雯睿图谱-计算机领域：

相关人员

毛莺池 李必信 张鹏程 王志坚

研究领域

Web服务生命周期 形式验证 时间Büchi自动机 测试 属性序列图 Web服务 时间属性序列图

所属机构

河海大学计算机及信息工程学院

标签云