安全关键软件形式化建模

Name: 安全关键软件形式化建模
Rating: 4.5 (40 reviews)
Author: londgn

上传者：londgn 2020-07-25 13:04:30上传 PDF文件 649.87KB 热度 40次

一种铁路信号系统安全关键软件的形式化建模和分析方法

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

安全关键软件形式化建模

一种铁路信号系统安全关键软件的形式化建模和分析方法

大小：650KB | 2020-07-25 13:04:30
软件工程形式化

大小：0B | 2019-01-11 00:06:43
Petri网原理形式化建模方法

是一种形式化建模方法。常用来构建系统。其他的还有流程图的方式等

大小：0B | 2020-05-18 04:30:16
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
安全协议形式化研究与实现

硕士论文,研究通信安全协议方面的，对形式化的研究与实现

大小：0B | 2019-07-29 21:17:09
软件形式化方法概述.docx

软件形式化方法概述.docx

大小：0B | 2020-05-30 13:55:48
软件形式化期中试卷

大小：0B | 2019-02-11 11:18:15
论文研究仿真建模与形式化.pdf

论文研究-仿真建模与形式化.pdf, 离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用,...

大小：483KB | 2020-07-20 17:26:54
形式化建模Alloy最好参考书

介绍了如何用轻量级的形式化建模语言alloy来建立模型。

大小：0B | 2019-10-04 21:26:44
形式化故障树分析建模和软件安全性测试

阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结...

大小：0B | 2019-06-01 04:00:41
形式化方法CSP

Communicatingsequentialprocesses:形式化方法CSP,进程代数CSP

大小：0B | 2020-06-01 19:03:18
形式化方法教材

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2

大小：0B | 2020-05-15 21:37:38
形式化B语言

形式化验证B语言安全系统设计软件工程

大小：0B | 2020-05-29 14:00:58
软件形式化方法PetriZ方法.txt

百度云连接-如有问题询1039175216软件及其开发概述有限状态机及其扩展Petri网进程代数一阶...

大小：0B | 2020-05-24 07:24:17
软件形式化课件与参考习题

大小：0B | 2019-01-10 23:09:16
高级软件工程形式化方法

大小：0B | 2019-01-11 00:06:44