2. 您的位置
3. 首页
4. 学位论文
5. 基于模型检查的系统程序的可靠性与安全性验证

基于模型检查的系统程序的可靠性与安全性验证

来源 :华东师范大学 | 被引量 : 0次 | 上传用户：vivien2009

【作 者】

：

徐震弘 

【出 处】

：

华东师范大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

基于二维小波变换快速算法和SVM的纹理分类

学位

一种结合RFID识别功能的视频采集系统的研究与实现

学位

基于SSH整合框架的网络办公自动化系统的研究与构建

学位

燃气生产运行综合管理信息系统的设计与开发

学位

改进BP算法在数据仓库中的应用

学位

智能交通系统中车牌定位的研究

学位

WEB3D虚拟现实技术在轮机模拟器中的应用研究

学位

消费者回收行为研究述评与展望网络首发

期刊

基于SOA柔性高校审批流程管理应用研究

学位

基于B/S的国防生信息系统设计与实现

学位