推荐下载
-
形式化建模Alloy最好参考书
介绍了如何用轻量级的形式化建模语言alloy来建立模型。
19 2019-10-04 -
论文研究仿真建模与形式化.pdf
论文研究-仿真建模与形式化.pdf, 离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用, 在仿真研究中仿真建模是一项十分复杂而且难以掌握的工作。对仿真建模形式化的研究可以增强对离散事件系统
21 2020-07-20 -
第4章形式化说明技术.pdf
第4章-形式化说明技术.pdf
10 2021-04-23 -
基于攻击树的网络攻击模式形式化研究
基于攻击树的网络攻击模式形式化研究
20 2020-09-20 -
论文研究免疫系统的形式化研究.pdf
免疫系统的形式化研究，杨朋樽，田玉玲，免疫算法是基于生物免疫系统而提出的优化算法，在工业控制、组合优化、机器学习等方面都有很好的应用。不过基于生物机制的免疫算
19 2019-09-23 -
habanero coq Habanero编程模型的Coq形式化源码
Habanero编程模型的Coq形式化 编程模型的形式化。 我们主要关注属性的形式化,例如死锁自由和种族自由。 该项目的总体目标是提供理论框架,阅读Coq库,以验证同步机制。 刊物 使用Coq对Hab
10 2021-02-08 -
基于EventB的软件形式化需求获取方法研究
硕士论文，关于EVENT_B形式化方法的，有例子。可以看看。
23 2019-03-03 -
论文研究形式化方法Designware B的比较.pdf
提出一种0-1序列生成器的设计方法。该方法通过Logistic映射得到一组对初始值具有敏感性、快速衰减的自相关性、长期不可预测性和伪随机性的随机序列;利用SVM对随机序列进行粗粒化,由于SVM的确定性
24 2020-01-13 -
面向对象的形式化软件开发案例
本分析案例对于搞面向对象分析与形式化软件开发的人是一个较好的简单的例子希望大家捧场与评论请注意：以作者为amdcwf（昵称为：陈谈）上发的源 码， 绝对都是本人的原创本人格言：不是精品，绝对不发（什么
37 2018-12-31 -
数据库形式化安全策略模型建模及分析方法
目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方
5 2021-01-17
用户评论