主题介绍
本场报告重点介绍以下内容:
形式化方法的发展与现状
基于SCADE形式化方法操作步骤
基于SCADE形式化方法的在航空、航天、轨道交通、核电和汽车电子的案例
如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动
https://v.ansys.com.cn/live/a3059007
演讲人简介
沈轶烨
Ansys公司系统事业部高级应用工程师,主要负责航空航天、轨道交通、核能重工、汽车电子等安全关键行业SCADE产品推广介绍与技术支持。
主题介绍
本场报告重点介绍以下内容:
形式化方法的发展与现状
基于SCADE形式化方法操作步骤
基于SCADE形式化方法的在航空、航天、轨道交通、核电和汽车电子的案例
如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动
https://v.ansys.com.cn/live/a3059007
演讲人简介
沈轶烨
Ansys公司系统事业部高级应用工程师,主要负责航空航天、轨道交通、核能重工、汽车电子等安全关键行业SCADE产品推广介绍与技术支持。