网络协议的形式化分析与设计古天龙2003计算机网络及数据通信是当今信息社会的基石,网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程
信息技术的飞速发展在给人们日常生活带来极大便利的同时,也使网络安全问题受到前所未有的挑战。因此,实时准确的个人身份认证十分重要
Semantics.with.Applications.An.Appetizer,.Hanne.Riis.Nielson,.Flemming.Nielson,.Springer,.2007(ED200
针对复杂知识库中知识规则数量多、知识规则的组织及其相互间的逻辑关系难以把握 这一特点,在模糊Pet ri 网的基础上给出了层次化模糊Pet ri 网( Hierarchical Fuzzy Pet r
z语言的形式化,精化和证明,有关Z 语言入门的一本书,牛津大学出版社
移动Agent系统的Z语言形式化描述,形式化语言的简介,Z语言的介绍以及多ANGENT系统的描述
提出关系模型的是美国IBM公司的E.F.Codd。。
形式化z语言辅助工具Z-EVES进行形式化验证用
针对自动导引车系统中的协调控制问题,提出一种基于有向图的控制程序自动化设计方法.首先,根据自动导引车系统的结构建立基于区域控制的有向图模型;其次,在部分可观的条件下,定义扩充危险域的概念,给出一种估计
详细设计规范是机载电子硬件适航性设计流程中的关键文档。通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性。以ARINC429总线传输模块设计为例,基于形式化方法完