非法状态相关论文
为了能完善解决基于FPGA设计中出现的状态机“跑飞”现象的问题，本文通过全面剖析该现象的实质，分析了该现象产生的根本原因，总结了导......
构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此，通过把组合接口自动机看作从初始状态出发，经过......
