搜索筛选:
搜索耗时0.1245秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：周育逵,杨桦,乔磊,,
来源：空间控制技术与应用 年份：2017
随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,...
相关搜索：
