... 角色、服务和认证（roles, services, and authentication）； 有限机模型（finite state model）； 物理安全（physical security）； ...
基于20个网页-相关网页
考虑因素包括需要开发制定一些专门的文档，包括安全策略（Security Policy）和有限状态模型（Finite State Model）。考虑因素也包括是否您的产品不符合该标准的要求，那么可能意味着设计的改变和进一步的开发周期。
基于20个网页-相关网页
non-finite state model 非有限状态模式 ; 非限定状态模式
Finite State Machine Model 器模型
finite-state markov model 有限状态morkov模型
finite-state MORKOV model 有限状态MORKOV模型
finite state automata model 有限状态自动机
a finite state machine model 有限状态机模型
finite state mixed cell model 有限混合网络模型
model of finite state automaton 有限状态自动机模型
The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
Finite state machines model behavior where responses to future events depend upon previous events.
有限状态机对行为建模，在该模型中，对将来事件的响应取决于先前的事件。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
应用推荐