group sequential designs 成组序贯设计
sequential designs of experiments 序贯实验设计
sequential designs on outdoor space 室外空间序列化设计
sequential linear-optimal designs 最优线性序贯设计
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
youdao
应用推荐
模块上移
模块下移
不移动