您要查找的是不是：
- SMV -- checking finite state systems against specifications in temporal logic CTL. smv檢查在臨時(shí)邏輯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. 摘要模型檢測是一種對有限狀態(tài)變遷系統驗證其時(shí)態(tài)邏輯性質(zhì)的重要方法，可以彌補測試技術(shù)的不足。
- What Exactly Is a Finite State Machine? 有限狀態(tài)機定義?
- Does private education skim off all the best students from the state system? 私立學(xué)校是不是會(huì )把公立學(xué)校最好的學(xué)生都挖走?
- The state system has one great weakness, however. 但狀態(tài)系統有一個(gè)巨大的缺陷。
- smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv檢查在臨時(shí)邏輯CTL中的非規格有限系統。
- A design approach of finite state machine for survivability control system based on Boolean expression (BoolSFSM) is proposed. 文章提出一種基于布爾表達式的可生存性控制系統的有限狀態(tài)機的設計方法。
- 1989. smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv檢查在臨時(shí)邏輯CTL中的非規格有限系統。
- Some finite state machines fall into this category, for example. 例如,一些有限狀態(tài)機屬于這一類(lèi)別。
- The question under discussion here is that of the "state system". 這里所談的是“國體”問(wèn)題。
- Therefore, the introduction of the finite state machine concepts. 為此，引入有限狀態(tài)機的概念。
- 258. smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv檢查在臨時(shí)邏輯CTL中的非規格有限系統。
- FSM(finite state machine) is a kind of mathematic model in interactive system design,which show the lifecycle of the dynamic system effectively. 有限狀態(tài)機是交互式系統設計分析中的一種數學(xué)模型,能夠有效地表示一個(gè)動(dòng)態(tài)系統的生存周期。
- In a protocol testing system specified in Extended Finite State Machine (EFSM) model，the executability of the test sequences is a very important issue. 在一個(gè)以擴展的有限狀態(tài)機(EFSM)為模型描述的協(xié)議測試系統中，測試序列的可執行性是一個(gè)重要的問(wèn)題。
- 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. 考慮網(wǎng)絡(luò )控制系統中存在數據包丟失的情況，丟包過(guò)程建模為有限狀態(tài)的馬爾可夫過(guò)程。
- Does private education skimoff all the best students from the state system? 私立學(xué)校是不是會(huì )把公立學(xué)校最好的學(xué)生都挖走?
- This is a time bomb ticking underneath the state system created by Mr Karimov. 這是一個(gè)在卡莫夫創(chuàng )造的國家系統下面滴答作響的定時(shí)炸彈。
- A finite state machine can only be in one state at any moment in time. 有限狀態(tài)機在任一時(shí)刻都只能夠處于一種狀態(tài)中。
- Example 8-8 gives a glimpse of finite state machines from Chapter 9. 例8-8小窺了一下第9章的有限狀態(tài)機。
- It will be a unique feature and important innovation in the state system of a reunified China. 這將是統一后的中國國家體制的一大特色和重要創(chuàng )造。
