Ram Cherukuri MathWorks
在模型和代码级别上验证嵌入式软件,以便在开发周期的早期识别错误。在复杂的系统中,手写和自动生成的代码将被集成在一起,这种混合的代码必须在代码级别进行验证。
您也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。
本网站使用cookies改善您的用户体验,个性化内容和广告,并分析网站流量。如您继续使用本网站,即表示您同意我们使用cookies。请参阅我们的隐私政策以了解更多有关cookies及如何更改您的设置。