电脑体验，效果更佳

龙士工图谱-计算机领域：

相关人员

王巧丽 李祥 罗文俊

研究领域

串空间 安全协议 模型检测 基本随机Petri网 Promela 性能等价 类型缺陷 SPIN

所属机构

贵州贵阳 贵州大学计算机学院 贵州大学信息工程学院 贵州大学计算机软件与理论研究所

标签云