2. 您的位置
3. 首页
4. 学位论文
5. 基于AADL的模型验证及代码生成技术

基于AADL的模型验证及代码生成技术

来源 :电子科技大学 | 被引量 : 0次 | 上传用户：fengaipan

【作 者】

：

陶勇 

【出 处】

：

电子科技大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于以太网的动态称重系统的软件研究与实现

学位

基于社会力量模型的人群疏散算法的改进和系统实现

学位

基于图像处理和神经网络的车辆号牌识别研究

学位

LBS平台中地图查询系统的设计与实现

学位

试析跨文化因素对国际商务谈判的影响与相应对策

期刊

虚拟现实技术在残疾人远程教育中的应用

学位

基于OpenGL的GPS卫星轨道仿真与可视化实现

学位

Mashup技术的研究与应用

学位

应用PDCA提升儿科临床试验用药品管理质量

期刊

一种基于P2P流媒体直播系统的研究与实现

学位