电脑体验，效果更佳

朱宜炳图谱-自然科学领域：

相关人员

刘晓清 王兵 肖美华 刘俏威

研究领域

原子性 统一建模语言 安全协议 SPINPromela 电子商务协议 SPIN 模型检测

所属机构

江西南昌 南昌大学计算中心 中国科学院软件研究所 南昌大学信息工程学院

标签云