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

基于AADL的嵌入式软件形式化验证研究

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

【作 者】

：

吴育春 

【出 处】

：

陕西师范大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

数字X光胸片肺部分割的研究

学位

主动作为 细致排查 打造食品药品安全铜墙铁壁 北京市食药监管局部署“两节”、“两会”食品药品安全保障工作

期刊

基于图像分割的立体匹配算法研究

学位

双边市场条件下反垄断法相关市场界定研究——以双边市场分类为视角

学位

抗中性粒细胞胞浆抗体的间接免疫荧光法检测

期刊

基于特征子空间的步态识别研究

学位

政府限薪令、运气与国有企业高管薪酬

期刊

双快速拣选区拣货系统的优化研究

学位

基于SSH框架的办公管理系统的设计与实现

学位

多源图像配准算法研究

学位