试看3分钟,观看完整版视频请购买课程 ×
形式化方法与功能安全
175人正在学习

上海控安

2020-04-29 17:26
1. 形式化方法回顾; 2. 浅析汽车电子功能安全标准; 3. 形式化方法在汽车电子功能安全中应用。
  • ¥9.90¥19.90
  • 形式化方法与功能安全(一)

    形式化方法与功能安全(一)

    课程时长 00:23:03

  • 形式化方法与功能安全(二)

    形式化方法与功能安全(二)

    课程时长 00:19:35

  • 形式化方法与功能安全(三)

    形式化方法与功能安全(三)

    课程时长 00:14:33

赵涌鑫

赵涌鑫,华东师范大学软件工程学院副教授,主要研究方向为形式化方法、可信软件工程、程序设计语言理论、智能系统的可信建模与分析等领域,在形式语言理论、程序统一理论、组合验证等方面有着较为长期的研究积累和丰富的研究成果,在形式化方法领域国际权威期刊和会议ACM TOSEM,FAOC等发表相关学术论文40余篇。主持国家自然科学基金青年基金、装发预研项目、上海市自然科学基金面上项目等。