已选(0)清除
条数/页: 排序方式:
|
| 基于LiDAR数据的1∶2000 DLG生产分析 期刊论文 测绘与空间地理信息, 2018, 期号: 09 作者: 胡思雨; 代侦勇 收藏  |  浏览/下载:5/0  |  提交时间:2019/12/05
|
| 面向机载软件适航审查的软件计划阶段的证据模型 期刊论文 计算机科学, 2018, 卷号: 45, 页码: 52-59 作者: 袁巍; 吴际; 刘超; 杨海燕 收藏  |  浏览/下载:3/0  |  提交时间:2019/12/30
|
| 机载通信系统新技术研究 期刊论文 中国新通信, 2016, 卷号: 第10期, 页码: 8-10 作者: 陈冬 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/24
|
| 基于VxWorks的推摆扫成像控制系统设 学位论文 硕士: 中国科学院大学, 2015 作者: 孙战磊 收藏  |  浏览/下载:30/0  |  提交时间:2016/04/11
|
| 基于IMA平台的嵌入式软件设计模型仿真及实时性分析方法 期刊论文 计算机科学, 2015, 卷号: 42, 页码: 95-97,135 作者: 孙磊; 杨海燕; 吴际 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/30
|
| 基于ARINC653的机载软件体系结构建模和代码生成技术研究 会议论文 全国抗恶劣环境计算机第二十四届学术年会, 江西九江, 2014-09-01 作者: 王磊; 马殿富; 赵永望; 赵宪琦 收藏  |  浏览/下载:4/0  |  提交时间:2020/01/06
|
| 基于知识图的机载软件高层需求形式化建模方法 会议论文 全国抗恶劣环境计算机第二十四届学术年会, 江西九江, 2014-09-01 作者: 吴文娟; 马殿富; 赵永望; 赵宪琦 收藏  |  浏览/下载:1/0  |  提交时间:2020/01/06
|
| 航空机载软件缺陷知识库框架 期刊论文 测控技术, 2013, 卷号: 32, 页码: 99-103 作者: 张贺; 王世海; 刘斌; 杨顺昆; 余正伟 收藏  |  浏览/下载:1/0  |  提交时间:2020/01/06
|
| 面向机载软件适航验证的灰盒测试方法 期刊论文 系统工程与电子技术, 2012, 卷号: 34, 页码: 1729-1734 作者: 周庆; 刘斌; 余正伟 收藏  |  浏览/下载:1/0  |  提交时间:2020/01/06
|
| 精密工程测量数据处理综合系统讲座 第五讲 测量机器人测量自动化系列软件及其应用 期刊论文 测绘信息与工程, 2010, 期号: 5 作者: 梅文胜; 张正禄; 郭际明; 罗年学; 巢佰崇 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|