航天型号嵌入式软件验证技术与实践

航天型号嵌入式软件验证技术与实践

出版社：中国宇航出版社

ISBN：9787515919683

出版年：2022

作者：祝宇

学科：运输工程

资源类型：图书

细分类型：中文文献

3浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

航天型号可编程逻辑器件软件验证技术与实践

作者：祝宇
ISBN：9787515917139
出版社：中国宇航出版社
出版年：2019

可信的航天嵌入式控制软件开发技术

作者：杨孟飞
ISBN：9787118112665
出版社：国防工业出版社
出版年：2017

航天嵌入式软件测试系统研究与设计

作者：张煜
出版年：2003

航天嵌入式软件系统测试用例自动生成技术研究

作者：段嘉奇
出版社：中国科学院国家空间科学中心
出版年：2023

航天嵌入式软件动态模拟测试技术研究

作者：于林宇
出版年：2006

嵌入式软件测试与实践

作者：赵国亮
ISBN：9787302486022
出版社：清华大学出版社
出版年：2018