2. 您的位置
3. 首页
4. 学位论文
5. 基于AADL的嵌入式软件系统验证技术研究

基于AADL的嵌入式软件系统验证技术研究

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户：lfm888

【作 者】

：

苏威 

【出 处】

：

陕西师范大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

基于瓠瓜转录组测序的EST-SSR标记的开发及其应用网络首发

期刊

九江职业大学校园网络教学平台的设计与实现

学位

基于模糊逻辑的信息安全风险评估系统设计与实现

学位

菜薹品质性状与SSR标记的关联分析网络首发

期刊

北京公安消防总队消防装备动态管理系统的设计与实现

学位

“精品资源共享网络平台”的设计与实现

学位

花椒挥发油在微乳凝胶中对复杂成分的促透作用及其促透机制研究网络首发

期刊

基于优化局部抑制的轨迹数据发布隐私保护算法网络首发

期刊

基于sigmoid函数变换的非负矩阵分解方法研究及其在推荐系统中的应用

学位

本体元数据设计、提取及应用

学位