2. 您的位置
3. 首页
4. 学位论文
5. 基于LTL公式展开的程序运行时验证的研究

基于LTL公式展开的程序运行时验证的研究

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

【作 者】

：

沈艳 

【出 处】

：

华东师范大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

基于Hadoop和支持向量机的紧密度后处理的研究与实现

学位

景观可视性定量计算方法的研究

学位

蓄电池浮充电流测量方式的改进

期刊

从解决问题入手 抓好基层党建

报纸

铁路信号设备状态修的探索与实践

会议

贵州花溪农村商业银行企业信贷管理系统的研究与分析

学位

曲线曲面间Hausdorff距离计算及在形状匹配中的研究

学位

面向可信软件的风险评估及控制方法研究

学位

兴新职业技术学院网络数学平台的设计与实现

学位

基于FPGA的动态目标检测系统的设计与实现

学位