您要查找的是不是:
- SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
- Model checking is an important method of verifying logic properties of finite state systems, and also a supplement to the shortage of software testing. 摘要模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足。
- smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
- 1989. smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
- 258. smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
- What Exactly Is a Finite State Machine? 有限状态机定义?
- finite state systems 有穷系统
- Does private education skim off all the best students from the state system? 私立学校是不是会把公立学校最好的学生都挖走?
- The state system has one great weakness, however. 但状态系统有一个巨大的缺陷。
- Some finite state machines fall into this category, for example. 例如,一些有限状态机属于这一类别。
- Therefore, the introduction of the finite state machine concepts. 为此,引入有限状态机的概念。
- The question under discussion here is that of the "state system". 这里所谈的是“国体”问题。
- Finite state machines (FSM)-based capture systems are time consuming so they can not meet the requirements of gigabit llne rates. 然而目前基于有限状态机的截获算法由于实现成本和复杂度的限制,吞吐量较低,难以满足网络核心级的截获速度要求。
- It uses techniques from rule-based reasoning systems, finite state automata, and machine learning to orchestrate complex tasks in a form it calls recipes. 它使用基于规则的推理系统,有限状态自动调节器以及机器自我学习等技术,以一个称之为配方的形式来安排各种复杂的任务。
- A finite state machine can only be in one state at any moment in time. 有限状态机在任一时刻都只能够处于一种状态中。
- Example 8-8 gives a glimpse of finite state machines from Chapter 9. 例8-8小窥了一下第9章的有限状态机。
- A design approach of finite state machine for survivability control system based on Boolean expression (BoolSFSM) is proposed. 文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。
- FSM(finite state machine) is a kind of mathematic model in interactive system design,which show the lifecycle of the dynamic system effectively. 有限状态机是交互式系统设计分析中的一种数学模型,能够有效地表示一个动态系统的生存周期。
- Does private education skimoff all the best students from the state system? 私立学校是不是会把公立学校最好的学生都挖走?
- This is a time bomb ticking underneath the state system created by Mr Karimov. 这是一个在卡莫夫创造的国家系统下面滴答作响的定时炸弹。