分析验证工具相关论文
调研与学习已有的标准、方法和工具，是保障载人航天软件安全性的必要途径。首先以DO－178B标准为例介绍了适用于我国载人航天软件研制......
调研与学习已有的标准、方法和工具，是保障载人航天软件安全性的必要途径。首先以DO－178B标准为例介绍了适用于我国载人航天软件研制......
