资源详细信息
基于B方法的实时控制系统的容错设计 - 资源详细说明
B 方法是形式化方法之一，支持软件开发的全部过程，它通过严格的数学推导和证明
来保证软件设计和代码的正确性。在现有的基本方法的基础上，要想进一步提高系统的可靠性，需要在软件开发中引入容错机制，使
来保证软件设计和代码的正确性。在现有的基本方法的基础上，要想进一步提高系统的可靠性，需要在软件开发中引入容错机制，使
立即下载 基于B方法的实时控制系统的容错设计
提示：下载后请用压缩软件解压，推荐使用 WinRAR 或 7-Zip
下载说明与使用指南
下载说明
- 本资源需消耗 2积分
- 24小时内重复下载不扣分
- 支持断点续传功能
- 资源永久有效可用
使用说明
- 下载后使用解压软件解压
- 推荐使用 WinRAR 或 7-Zip
- 如有密码请查看资源说明
- 解压后即可正常使用
积分获取方式
- 上传优质资源获得积分
- 每日签到免费领取积分
- 邀请好友注册获得奖励
- 查看详情 →