2. 您的位置
3. 首页
4. 学位论文
5. 安全苛求性软件安全性的形式化分析

安全苛求性软件安全性的形式化分析

来源 :北京交通大学 | 被引量 : 2次 | 上传用户：hj11254

【作 者】

：

康鑫 

【出 处】

：

北京交通大学

【发表日期】

：

2015年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

延迟队列系统DelayQue的设计与实现

学位

基于S3C6410+LINUX3.0的指纹识别系统

学位

东莞市食药监局东城分局设备类固定资产管理系统的研究与分析

学位

鞍师高职院教师档案管理系统的设计与实现

学位

RFID系统中的标签读写器设计与标签防碰撞算法研究

学位

宜春技术学院资产管理系统的研究与分析

学位

辩证治疗“中心性视网膜病变”30例

会议

铱配合物对隐球菌性脑炎的靶向诊疗

期刊

虚拟仿真技术在动物医学实验(实践)教学中的应用

期刊

基于样本模板的数字化妆算法的研究

学位