登陆
注册
试看3分钟，观看完整版视频请购买课程
×
形式化方法与功能安全
有175人正在学习
上海控安
2020-04-29 17:26
1. 形式化方法回顾；
2. 浅析汽车电子功能安全标准；
3. 形式化方法在汽车电子功能安全中应用。
-
¥9.90¥19.90
赵涌鑫
赵涌鑫，华东师范大学软件工程学院副教授，主要研究方向为形式化方法、可信软件工程、程序设计语言理论、智能系统的可信建模与分析等领域，在形式语言理论、程序统一理论、组合验证等方面有着较为长期的研究积累和丰富的研究成果，在形式化方法领域国际权威期刊和会议ACM TOSEM，FAOC等发表相关学术论文40余篇。主持国家自然科学基金青年基金、装发预研项目、上海市自然科学基金面上项目等。
