polyspace 官方培训资料。在MBD开发过程中，将生成的代码进行静态测试能够在早期以最小的代价发现并解决bug。通过polyspace能够以一种更加便捷的手段验证simulink模型生成的代码。该资料不仅对polyspace的使用方法进行了详细的介绍，并在过程中提供多个上机练习工程，以加深用户对该课程的理解。
2021-02-22 14:57:03
7.9MB
1