电脑体验，效果更佳

曾红卫图谱-计算机领域：

相关人员

王佳明 谭亮 唐毅 缪淮扣

研究领域

模型检验 构件消息自动机 构件组合 自动检测系统 等价关系 安全攻击 接口自动机 Spin 反例引导的抽象精化 网络安全 Web应用 状态爆炸 可控性 验证

所属机构

上海大学计算机科学系 上海大学计算机工程与科学学院

标签云