Hua Yang(杨桦)关注立即认领分享关注立即认领分享基本信息浏览量:0职业迁徙个人简介暂无内容研究兴趣论文共 10 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构基于Coq的操作系统任务管理需求层建模及验证姜菁菁,乔磊,杨孟飞,杨桦,刘波软件学报(2020)引用0浏览0引用00基于有限状态机的操作系统需求层形式化验证张锦坤,杨孟飞,乔磊,杨桦,刘波空间控制技术与应用(2019)引用1浏览0引用10基于Event-B的航天器内存管理系统形式化验证杨桦,蒲戈光,谭彦亮,乔磊,杨孟飞软件学报no. 5 (2017): 1204-1220引用0浏览0引用00基于Event-B的中断管理需求和设计形式化建模与验证方法 周育逵,杨桦,乔磊空间控制技术与应用(2017)引用1浏览0引用10改进粒子滤波算法在深空红外小目标跟踪中的应用叶有时,刘淑芬,孙强,刘鸿瑾,刘波,杨桦,吴一帆电子学报(2015)引用2浏览0引用20基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证谭彦亮,杨桦,乔磊空间控制技术与应用(2014)引用1浏览0引用10基于微内核的星载实时操作系统设计与实现徐建,杨桦空间控制技术与应用(2011)引用23浏览0引用230基于知识推理的航天器自主故障诊断方法龚健,杨桦,赵玮,乔磊空间控制技术与应用(2011)引用23浏览0引用230航天器嵌入式操作系统研究与设计乔磊,赵玮,孙越,杨桦,刘波空间控制技术与应用(2011)引用1浏览0引用10可靠性技术在星载计算机设计中的应用杨桦,刘群电子技术应用(2009)引用23浏览0引用230作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn