通讯地址:上海市普陀区中山北路3663号,华东师范大学软件学院 研究方向 1995年毕业于四川大学基础数学专业‚获理学博士学位。曾任上海师范大学数学学科教授、计算数学专业博士生导师‚并以高级访问学者身份国家公派到英国伯明翰大学留学、访问。现任华东师范大学计算机学科教授、华东师范大学软件学院副院长、上海市高可信计算...
陈仪香,华东师范大学软件工程学院教授。从事智能系统的可信基础研究工作:建立了具有时空一致性的智能系统规范语言STeC及其混成时钟逻辑系统,设计了智能系统的软硬件优化设计技术方法,构建了基于多维属性的软件可信度量评估方法和增强规范,为我国在该领域处于国际先进水平...
陈仪香 华东师范大学, 教授 / 科研之友号:57567319 科研之友人员唯一编号 1 项目 179 成果 2860 阅读 206 下载 414 被引 11 H-指数 主页 成果
[28] 王婧,陈仪香,顾斌等航天嵌入式软件可信性度量方法及应用研究,中国科学: 技术科学 2015 年第45 卷第2 期: 221-228 [27]He K, Zhang M, He J, et al.,Probabilistic model checking of Pipeprotocol,Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on. IEEE, 2015, ...