没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
formal methods
formal methods
model
checking
需积分: 9
5 下载量
133 浏览量
2009-09-15
10:45:51
上传
评论
收藏
1.13MB
PDF
举报
温馨提示
立即下载
了解形式化方法的书,是初学者学习形式化方法的入门书
资源推荐
资源评论
FormalMethodsforWebServices.pdf 英文原版
浏览:140
Formal Methods for Web Services
formal.m
浏览:109
formal.m
formal verification
浏览:186
formal verification
enumerable-methods
浏览:54
我的无数方法 该项目展示了Ruby Enumerable模块中方法的重建列表。 重写的Enumerable方法是: 每个-> my_each each_with_index-> my_each_with_index 选择-> my_select 全部? -> my_all? 任何? -> my_any? 没有任何? -> my_none? 计数-> my_count map-
optimization-methods
浏览:88
优化方法
numerical_methods
浏览:46
数值方法 使用多项式 拉格朗日方法
Software Engineering and Formal Methods
浏览:187
这是关于软件工程的电子书,高清,最新版本,经典著作,英文版
FM 2016: Formal Methods
浏览:162
FM 2016: Formal Methods: 21st International Symposium
Formal Methods for Multicore Programming SFM 2015
浏览:35
Formal Methods for Multicore Programming SFM 2015
Automotive embedded software design using formal methods
浏览:168
Automotive embedded software design using formal methods Vassil Todorov
sqlalchemy_methods
浏览:149
sqlalchemy_methods
Nonparametric methods
浏览:104
Nonparametric methods
helper-methods
浏览:147
辅助方法 任务 写一些测试 阅读《 的第和7。 这些是我们最经常编写的测试。 在这个项目中,我们有一个功能齐全的网络资源, movies 。 创建一个测试文件test/system/movie_test.rb ,并尝试在其中写入一些系统测试以锁定应用程序的当前功能。 在花费了20-30分钟之后,您可以查看test/system/example_specs.rb中的示例规范。 您可以将其中的部分
array-methods
浏览:125
array-methods
methods.js
浏览:82
封装的js小方法,适合小白
Formal Methods for Components and Objects FMCO 2012
浏览:169
Formal Methods for Components and Objects FMCO 2012 ABS LANGUAGE
Understanding Formal Methods
浏览:41
This book is aimed at all those who are rightly puzzled by the complex and controversial panorama of formal methods. It is unique as to its completeness and its compromise between rigorous exposition
R. W. Butler(From NASA). What is Formal Methods
浏览:35
关于“形式化方法”概念的说明,很易于理解。对刚接触形式化方法的人很有帮助。
Formal Methods: State of the Art and Future Directions
浏览:86
5星 · 资源好评率100%
关于形式化理论的权威综述,来自cmu的clarke和wing,非常简易有兴趣的同学看看
NFM 2010-NASA Formal Methods Symposium 2010 论文集
浏览:49
5星 · 资源好评率100%
(我现在主要在CSDN上整理计算机安全、软件工程(可信软件)、系统及通信方面的论文及相关理论书籍,如果对这方面内容感兴趣,可以访问:http://qysh123.download.csdn.net/ 查看我上传的所有资料。...
Bayesian_methods
浏览:55
贝叶斯方法 КурсБМСО2021
kernel-methods
浏览:102
内核方法数据挑战 运行pip install -r requirements.txt 将数据放入data /中,例如,您应该具有: data/Xtr0.csv data/Xte0.csv etc... 然后从kernel-methods文件夹运行python main.py 。
gvpt-methods
浏览:77
UMD政府与政治方法论研讨会系列 2020-2021年维护者: 2020年秋季系列 2021年Spring系列 回归不连续性设计 实验设计
num_methods
浏览:109
num_methods
web methods
浏览:9
web methods IntegrationServer - 简称IS,webMethods 集成服务器,提供服务运行的底层支持和容器。webMethods核心组件。 TradingNetwork 简称 TN,贸易网络,提供对贸易合作伙伴网络信息的管理。 MywebMethodsServer 简称 MWS,偏向于提供用户界面的服务器,提供一些组件的管理界面。可针对用户需要进行界面的客制化开发
Formal Development of a Network-Centric Rtos
浏览:94
One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in ..
SLAM and Static Driver Verifier- Technology Transfer of Formal Methods inside Microsoft (tr-2004-08)-计算机科学
浏览:90
Transfer of Formal Methods inside MicrosoftThomas Ball, Byron Cook, Vladimir Levin and Sriram K. RajamaniJanuary 28, 2004Technical Report MSR-TR-2004-08Microsoft Research Microsoft Corporation One ...
Mathematics in Computing
浏览:63
5.16.1 Why Are Formal Methods Difficult? 5.16.2 Characteristics of a Usable Formal Method 5.17 Review Questions 5.18 Summary 6 Z Formal Specification Language 6.1 Introduction 6.2 Sets 6.3 Relations .
Formal correctness of security protocols
浏览:45
This is a book about how to use formal methods to verify security protocols.
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
fyk80
粉丝: 1
资源:
11
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于BERT+Biaffine结构的关系抽取模型源码+文档说明.zip
利用c语言编写的冒泡排序代码
基于Python+OpenCV的材料缺陷检测程序项目源码课程设计.zip
基于c语言实现的二叉树代码
pip利用清华镜像源下载matplotlib代码
Python的pyqt5写的图书管理系统期末大作业源码带文档设计.zip
pcff_interface_v1_5.off
apk.tw_LineLite_v8a_v.2.17.1_sign.apk
Elasticsearch实战:构建高效搜索系统的秘诀.zip
HTML+CSS+JS网页设计:从入门到精通.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功