《Computer》封面推荐论文
论文《Environment Modeling During Model Checking of Cyberphysical Systems》入选 Computer 2021 年 9 月号封面推荐。
论文 “Environment Modeling During Model Checking of Cyberphysical Systems” 获 Computer 杂志封面推荐。
Guangyao Chen
校友
陈光瑶已毕业，现就职于远澜私募基金。
