formal analysis method 形式化分析
formal analysis methods 形式化分析方法
Formal Concept Analysis 形式概念分析
mixed formal analysis technology 混合分析技术
formal analysis of security protocol 安全协议形式化分析
formal analysis of security protocols 安全协议形式化分析
formal analysis of cryptographic protocol 形式化分析密码协议
formal concept analysis fca 形式概念分析
Formal Logic Analysis 形式逻辑分析
Research on the commercial security policy includes modeling of the security policy, formal analysis principle of security policy, the framework of commercial security policy and its formal analysis.
商务安全策略研究的主要内容包括:安全策略制模和形式分析原理、商务安全策略框架模型研究以及形式分析。
参考来源 - 商务安全策略及其形式分析研究·2,447,543篇论文数据，部分数据来源于NoteExpress
There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes.
存在这样一种风险，即实现过程中引入的更改不会经过正式分析和管理流程。
You can then use these models in formal analysis, simulation, and prototyping to explore predicted system behavior and in documentation or reviews to communicate the system's capabilities and feel.
然后，您可以在形式化的分析、模拟和原型设计中使用这些模型，以研究预期的系统行为，并且可以在编写文档或总结时使用这些模型，以便就系统的性能和外观进行交流。
In other words, the programmer does not stand to benefit from breaking the formal analysis.
换句话说，程序设计者绝不会因破坏形式分析而获得好处。
应用推荐