📋 下载信息如上所示 📱 积分兑换即可
🔐 1.关注公众号，领取解压密码
⚡ 2.链接问题请反馈，当天响应
📱 扫码关注 · 获取解压密码
面向安全关键嵌入式软件，基于模型进行需求建模、形式化验证与代码自动生成，用于航电、轨交、汽车等控制软件开发。
- 图形化建模与仿真
- 形式化验证与模型检查
- 自动生成C/Ada代码
- 需求追溯与覆盖率分析
当前版本：R1
© 版权声明
本站资源内容均来自互联网,本站只是搬运工，版权归原作者所有，如有侵权配合处理。
THE END
暂无评论内容