空间控制技术与应用2022，Vol.48Issue(2)：P.62-70,9.DOI:10.3969/j.issn.1674-1579.2022.02.008
面向空间飞行器的文件系统需求层验证
摘要
关键词
软件需求/形式化验证/文件系统/嵌入式系统分类
信息技术与安全科学引用本文复制引用
李少峰,杨孟飞,乔磊,姜菁菁,王婷煜..面向空间飞行器的文件系统需求层验证[J].空间控制技术与应用,2022,48(2):P.62-70,9.基金项目
国家自然科学基金资助项目(61632005,61802017)。 （61632005,61802017）
