新产品和更新为航空航天、汽车及无线通信行业的工程师和研究人员简化基于模型的设计全球领先的数学计算软件开发商 MathWorks 今天宣布，推出MATLAB® 和 Simulink® 产品系列版本 2023b（R2023b）。R2023b 推出了两款新产品和几项重要更新，它们可为工程师和... （来源：新闻频道）
MathWorks Matlab Simulink 2023-9-22 10:15
MathWorks 近日宣布引入两款新的代码验证工具以扩充其 Polyspace 产品系列：Polyspace Code Prover 和 Polyspace Bug Finder。此外，公司还于同时宣布推出 2013b 版。新增的这两款产品提供了端到端软件验证功能，供早期开发阶段使用，其中涵盖了查找缺陷、检查代码规则以及证明不存在运行时错误。由此便... （来源：新品频道）
MathWorksPolyspace代码验证Polyspace Code ProverPolyspace Bug Finder 2013-9-10 10:21
MathWorks 今天宣布推出对其 Polyspace 嵌入式代码验证产品的改进，此类产品可以证明源代码中不存在某些运行错误。 Polyspace新特性包含了 指标网络控制面板（metrics web dashboard）、自动计划验证工作、电子邮件通知以及增强的代码指标支持，这些新特性使工程师能够选择并跟踪嵌入式软件质量的指标和... （来源：新品频道）
MATHWORKSPOLYSPACE嵌入式软件 2010-10-21 10:07
The MathWorks近日 宣布其 MATLAB、Simulink 以及 PolySpace 产品系列的 2009a 版本 (R2009a)面市。R2009a 包括对多核和多处理器系统的增强型支持的并行计算工具箱、覆盖汽车电子、控制系统优化和3D模拟和可视化的3个新产品、MATLAB 和 Simulink 的新功能以及其他90 多个产品的增强功能。 R2009a 中并... （来源：新品频道）
The MathWorks MATLABSimulinkPolySpace 产品系列2009a版 2009-5-25 13:34
搜索到4条【Polyspace】相关的全部。
搜索到4条【Polyspace】相关的全部。
查看关键词的分类频道
