Switching circuits ; Logic circuits ; Design ; Digital computers ; Integrated circuits ; Circuit interconnections ; Computer logic ; Automata ; Theses;
机译:关于图灵机的有限状态实现与存储机的退出
机译:关于图灵机的有限状态实现和StoreMachines的退出
机译:通过分裂内部状态将中等有限状态机转换为摩尔有限状态机
机译:通过顺序调度逻辑标记有限状态机矢量通过顺序调度,失败模式和效果分析(FMEA)和嵌入式系统软件的模型检查
机译:通信有限状态机的系统,作为有限状态机的分布式替代方案。
机译:对机器人群体性能的违规评估:重要的采样以评估对控制机器人的有限状态机的潜在修改
机译:通过对逻辑标记的有限状态机的向量进行顺序调度,可以对嵌入式系统的故障模式和影响分析(FMEA)和软件进行模型检查
机译:顺序机器的全分解与下一状态和输出函数的分离实现