大家在查：形式验证形式语义学类型系统进程演算计算机工程学术期刊图论计算复杂性理论计算模型递归论

形式化方法

网络Formal Methods; formalization method; Formalization Theory

形式化方法

网络释义

形式化方法

Formal Methods

而形式化方法(formal methods)提供了一种严格精确的数学方法,通常被用于软件设计阶段,分析系统的可靠性。因此,通过将UML …

formalization method

形式化划分方法,formal... ... ) formal methods 形式化方法 ) formalization method 形式化方法 ) formalized method 形式化方法 ...

Formalization Theory

华南师范... ... 葛红副教授 12 分布计算系统 Formalization Theory 60 3 刘波副教授 13 形式化方法 Formalization Theory 60 3 ...

GPSF

【关键词】：多体系联合作战多范式建模与仿真模型变换仿真互联离散事件系统规范(DEVS) 通用仿真形式化方法(GPSF) 【 …

formalized method

形式... ... ) formalization method 形式化方法 ) formalized method 形式化方法 ) formal partitioning method 形式化划分方法 ...

formalmethds

...A．PnDeli在内的许多计算机科学家都认为，采用形式化方法(formalmethds)对系统进行形式化验证和分析，是构造可靠安全 …

例句：

Formal method is an important approach for construction of the trustworthy software .

形式化方法是构建可信软件的重要途径。

For informal method , although it is easy to understand, it is hard to analyze .

非形式化方法简单易学，但在从分析到设计、实现的活动中很难取得应有的作用。

SDL can describe the Bluetooth protocol accurately and be helpful to have a general conception.

形式化方法可以提供协议规范的无二义性的精确描述。

in order to satisfy this requirement , formal method which is based on precise mathematical foundation must been used .

为了它到这个目的，必须使用具有严格数学基础的形式化方法。

in this thesis , schematic summary about formal method is presented .

在本文中，我们首先对形式化方法作了一个概要的介绍。

A protocol testing theory is presented based on formal methods .

利用形式化方法构建了协议测试理论。

The formal method is useful to analyze and verify security protocols . It can uncover bugs which are difficult to find by testing.

采用形式化方法建模和验证安全协议可以检测到传统测试手段难以发现的错误。

Summarization on Security Protocols Formalization

安全协议的形式化方法概述

Formalization method for virtual enterprise integration models

虚拟企业集成模型的形式化方法

Extensions to a Finite Model Generator and Application to Formal Methods

有限构模器的扩展及其在形式化方法中的应用

The Research of the Formal Methods for Security Protocol Verification

安全协议认证的形式化方法研究

meanwhile , formal method ' s principle and major content were also dissertated

同时也阐述了形式化方法的原理及主要内容。

An Application of Formal Method in Microcomputer Simulative Software

微机仿真系统中形式化方法的应用

A Formal Method for Software Concurrent Engineering Process Modeling

支持软件并行工程过程建模的一种形式化方法

Construction of the relativity and the formalization method

相对论的产生与形式化方法

A formal approach study of OO class -level state testing

一种面向对象类级状态测试的形式化方法研究

A Formal Approach to Conformance Testing of Internet Routing Protocols

基于形式化方法的因特网路由协议的一致性测试

Formalized Methods in Software Development

软件开发中的形式化方法介绍

A Formal Method of Interface -Connection Component Composition

接口连接式构件组装的一种形式化方法

The Application of Formal Method to CAD Software Development

形式化方法在 CAD 软件开发中的应用

Research on formalized method of crypto protocol analysis

密码协议分析的形式化方法研究

A formalized approach to elaborate the test suites and test scripts

一种详细描述测试套件和测试脚本的形式化方法

Status and Development of Formal Methods for Performance Evaluation

性能评价形式化方法的现状和发展

Application of Formal Methods in DSS for Equipment Support

形式化方法在装备保障决策支持系统中的应用

Research on Formal Specification of Software Architecture Based on Temporal Logic

基于时序逻辑软件构架形式化方法研究

形式化方法

形式化方法

Formal Methods

formalization method

Formalization Theory

GPSF

formalized method

formalmethds

热词推荐

大家在看