Moore机相关论文
模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验，动态模型检验过程......
本文从本质上归纳了二种时序机 Mealy机与 Moore机之间的转换效果 ,根据二者的输出序列相差一个时钟周期的特点提出了二种十分简单......
