基于AADL端到端流的实时系统验证与实现方法的研究

出版社:中国科学技术大学
出版年:2023
作者:白先平
资源类型:图书
细分类型:中文文献