面向复杂系统的嵌入式软件高可信建模与验证方法
335人正在学习

上海控安

2026-02-25 17:28
1.嵌入式控制软件背景 2.理论支撑 3.行业解决方案 ……
  • 面向复杂系统的嵌入式软件高可信建模与验证方法

    面向复杂系统的嵌入式软件高可信建模与验证方法

    课程时长 00:33:17

王依玲

王依玲,毕业于华东师范大学软件工程学院,目前担任上海控安可信软件创新研究院可视化建模组技术产品经理,主要从事需求工程、基于模型的设计开发和验证等方向研究。