面向开源软件的代码补丁验证技术

面向开源软件的代码补丁验证技术

出版年：2021

作者：赵宇航

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

面向对象的实时系统可调度性验证和代码生成技术研究

作者：舒国强
出版社：中国科学院
出版年：2003

面向航天SOPC软件的形式化验证方法研究与应用

作者：周珊
出版社：中国科学院空间应用工程与技术中心
出版年：2022

面向SoC验证的通用型FPGA验证平台的设计

作者：李芉
出版年：2011

开源魅力 :面向Web开源技术整合开发与实战应用

作者：马洪江
ISBN：9787302309260
出版社：清华大学出版社
出版年：2013

Linux内核测试用例与补丁间可追溯性链接的建立与验证

作者：李嘉诚
出版社：中国科学院软件研究所
出版年：2019

面向自动驾驶系统的交规合规性验证技术研究

作者：陈云秀
出版社：中国科学院软件研究所
出版年：2023