资源详细信息
形式化方法和测试技术及其在安全中的应用 - 资源详细说明
本文回顾和讨论了形式化方法和测试技术，以及形式规格说明可以用于测试用例生成、测试顺序确定的途径；并提出了将形式化方法和测试技术应用于安全保密设备。
关键词 形式化方法；测试技术；安全保密设备
关键词 形式化方法；测试技术；安全保密设备
立即下载 形式化方法和测试技术及其在安全中的应用
提示：下载后请用压缩软件解压，推荐使用 WinRAR 或 7-Zip
下载说明与使用指南
下载说明
- 本资源需消耗 2积分
- 24小时内重复下载不扣分
- 支持断点续传功能
- 资源永久有效可用
使用说明
- 下载后使用解压软件解压
- 推荐使用 WinRAR 或 7-Zip
- 如有密码请查看资源说明
- 解压后即可正常使用
积分获取方式
- 上传优质资源获得积分
- 每日签到免费领取积分
- 邀请好友注册获得奖励
- 查看详情 →