电脑体验，效果更佳

何积丰图谱-计算机领域：

相关人员

缪淮扣 刘淦澄 孙永强 李黎 刘静 李勇坚 彭小青 陈昌生

研究领域

事件触发 交叠式并发语义 效率评价准则 Verilog 代数语义 区间时态逻辑 完备性 形式方法

所属机构

中国科学技术大学 华东师范大学软件学院 华东师范大学计算机系 澳门联合国大学国际软件研究所 上海大学计算机科学与工程学院 上海交通大学计算机科学与工程系 澳门联合国大学国际软件技术研究所 澳门联合国大学国际软件研究所澳门

标签云