基于有限状态机的可校核仿真模型研究

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

基于有限状态机的可校核仿真模型研究

皮学贤1,2,荆涛1,柳林1,钟玮珺 1

Research on a Verification Simulation Model Based on Finite State Machine

PI Xuexian1,2,JING Tao1,LIU Lin1,ZHONG Weijun1

J4 . 2012, (5): 153 -156 .