华东师范大学软件学院上海市高可信计算重点实验室

导出分析报告

研究主题：形式化验证    推荐系统    隐私保护    社交网络    混成系统    

研究学科：自动化类    经济学类    电气类    交通运输类    电子信息类    

被引量：992H指数：13WOS: 1 EI: 36 北大核心: 78 CSCD: 82