软件开发的形式化方法
ISBN:9787040160796《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论,内容涵盖了SE2004中关于"软件的形式化方法"的知识点,主要包括:有限状态机、Statecharts、Petri网、通信顺序进程、...
B语言与方法——实用形式化开发指南
ISBN:9787040064117...
数字硬件的形式化验证
ISBN:9787301053324...
密码协议形式化分析
ISBN:9787111192299本书对现在国内外最新的密码协议形成化分析方法与设计准则进行了比较详细的论述,建立了完整而系统密码协议研究理论,并介绍了当前最为流行的几个协议的实现方法。 全书共8章,分别介绍了密码...
网络协议的形式化分析与设计
ISBN:9787505386464计算机网络及数据通信是当今信息社会的基石,网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程。本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍,主要内...
Integrated Formal Methods集成形式化方法 /会议录
ISBN:9783540304920...
Integrated Formal Methods 集成 形式化 方法 会议 录
网络与分布式系统用形式化技术 - FORTE 2006/会议录
ISBN:9783540462194...
网络 与 分布式 系统 用 形式化 技术 FORTE 2006 会议 录
电子商务网络协议的形式化分析理论与应用
ISBN:9787030200327《电子商务网络协议的形式化分析理论与应用》叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论方法与实际应用。具体内容包括:电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分...
软件工程形式化方法与语言
ISBN:9787308066679《软件工程形式化方法与语言》选取并介绍了三种代表性的形式化方法,它们分别是以集合论和一阶谓词演算为基础的Z语言,以时态逻辑为基础的XYZ,还有以直觉数学学派为基础的类型理论。《软件工程形式化方法与语...
网络安全协议的形式化分析与验证
ISBN:9787111297260《网络安全协议的形式化分析与验证》概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状;在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术;最后重点介绍了目前的形式化分析技...