电子工程专辑

MathWorks扩充Polyspace产品系列

MathWorks引入两款新的代码验证工具以扩充其Polyspace产品系列：Polyspace Code Prover和Polyspace Bug Finder。此外，公司还于同时宣布推出2013b版。 OPTION_5:HP MathWorks近日宣布引入两款新的代码验证工具以扩充其Polyspace产品系列：Polyspace Code Prover和Polyspace Bug Finder ...
电子工程专辑

The MathWorks宣布推出其MATLAB、Simulink和PolySpace产品系列的2009a版本

The MathWorks近日宣布其MATLAB、Simulink以及PolySpace产品系列的2009a版本(R2009a)面市。R2009a包括对多核和多处理器系统的增强型支持的并行计算工具箱、覆盖汽车电子、控制系统优化和3D模拟和可视化的3个新产品、MATLAB和Simulink的新功能以及其他90多个产品的增强功能。
腾讯网

MathWorks推出Simulink Fault Analyzer和Polyspace Test

全球数学计算软件开发商 MathWorks近日宣布，推出MATLAB和 Simulink产品系列版本 2023b（R2023b）。R2023b 推出了两款新产品和几项重要更新，它们可为工程师和研究人员提供简化工作流的新功能。 Simulink Fault Analyzer支持使用仿真进行系统性故障影响和安全分析。此新 ...