华东师范大学 软件工程学院 登录后才能查看导师的联系方式,马上登录... 研究领域 可信计算,形式化建模与验证,高可信嵌入式控制软件 近期论文 查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认) Jianqi Shi, Yinghao Chen, Qin Li, Yanhong Huang, Yang Yang, Mengyan Zhao: Automated ...
黄滟鸿 黄滟鸿，女，华东师范大学软件工程学院助理研究员。 研究方向 可信计算，形式化方法，嵌入式系统