层次式有穷状态机相关论文
本文介绍了一种层次式有穷状态机(HFSM)的代数表示,并在此基础之上提出了HFSM的一致性检查方法.这种检查方法主要用于检测HFSM中的......
本文介绍了一种层次式有穷状态机（HFSM）的代数表示，并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不......
