... 有限态表 finite state table 有限态技术 finite state technique 有限态识别程序 finite state recognizer ...
基于18个网页-相关网页
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术。
The spline finite element procedure is used in space domain and the state space technique in time domain respectively.
对空间域采用混合样条元法，对时间域采用现代控制论中的状态空间法。
Model checking is a technique for automatically verifying finite-state concurrent systems.
检验 有限状态并发系统的技术。
应用推荐