您要查找的是不是：
- 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. 摘要模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法，可以弥补测试技术的不足。
- What Exactly Is a Finite State Machine? 有限状态机定义?
- Does private education skim off all the best students from the state system? 私立学校是不是会把公立学校最好的学生都挖走?
- The state system has one great weakness, however. 但状态系统有一个巨大的缺陷。
- smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
- A design approach of finite state machine for survivability control system based on Boolean expression (BoolSFSM) is proposed. 文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。
- 1989. smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
- Some finite state machines fall into this category, for example. 例如,一些有限状态机属于这一类别。
- The question under discussion here is that of the "state system". 这里所谈的是“国体”问题。
- Therefore, the introduction of the finite state machine concepts. 为此，引入有限状态机的概念。
- 258. smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
- FSM(finite state machine) is a kind of mathematic model in interactive system design,which show the lifecycle of the dynamic system effectively. 有限状态机是交互式系统设计分析中的一种数学模型,能够有效地表示一个动态系统的生存周期。
- In a protocol testing system specified in Extended Finite State Machine (EFSM) model，the executability of the test sequences is a very important issue. 在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中，测试序列的可执行性是一个重要的问题。
- The situation of losing data packet is considered in a networked control system, and the process of packet loss is modeled as a Markovian process with finite state. 考虑网络控制系统中存在数据包丢失的情况，丢包过程建模为有限状态的马尔可夫过程。
- 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. 这是一个在卡莫夫创造的国家系统下面滴答作响的定时炸弹。
- 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章的有限状态机。
- It will be a unique feature and important innovation in the state system of a reunified China. 这将是统一后的中国国家体制的一大特色和重要创造。
