登陆
注册
华东师范大学软件工程学院副教授、院长助理、嵌入式软件与智能系统系主任，主要研究领域为软件需求、软件形式化方法和软件测试等。主持多项国家自然科学基金青年基金、面上基金及重点企业合作项目，在国内外高水平期刊与会议发表学术论文20余篇。曾获得上海市科技进步特等奖、上海市高校青年教师教学竞赛一等奖。多年来聚焦嵌入式控制软件的形式化需求建模与分析验证，所研制的工具在航空航天和轨道交通领域多家重点企业应用。
-
上海控安与DEKRA Digital达成战略合作1月20日，上海控安与DEKRA Digital正式签署战略合作协议，各方将充分发挥各自优势，互补优质资源，协同推进工业互联网安全产业发展。DEKRA Digital功能安全全球副总裁Gerhard ...
2020年04月20日02645 -
全新一代GL8 Avenir艾维亚家族将搭载别克高级智能驾驶辅助技术3月13日，基于上汽通用汽车迭代升级的车联网技术，别克品牌首次发布别克高级智能驾驶辅助技术。即将推出的全新一代别克GL8 Avenir艾维亚家族将率先搭载这一技术，开启豪华MPV智慧安全出行新时代。
2020年03月24日01996