相似文献/References:
[1]朱晟仁 黄瑞光.有限状态机在动画角色行为中的建模应用[J].计算机技术与发展,2007,(06):130.
ZHU Sheng-ren,HUANG Rui-guang.Application of Finite State Machine in Cartoon Role Behavior Modeling[J].,2007,(05):130.
[2]房瑞华 黄士坦.用STATECAD快速设计有限状态机[J].计算机技术与发展,2006,(12):122.
FANG Rui-hua,HUANG Shi-tan.Repid Design of Finite State Machine with STATECAD[J].,2006,(05):122.
[3]孙宏旭 邢薇 陶林.基于有限状态机的模型转换方法的研究[J].计算机技术与发展,2012,(02):10.
SUN Hong-xu,XING Wei,TAO Lin.Research of Model Transformation Approaches Based on Finite State Machine[J].,2012,(05):10.
[4]韩葆 蔡勉.基于模型检验的软件可信分析模型[J].计算机技术与发展,2012,(10):35.
HAN Bao,CAI Mian.Trusted Software Analysis Model Based on Model Checking[J].,2012,(05):35.
[5]程桂花 王杨 赵传信 邓琨.应用模逆运算的移动互联网可信终端设计方法[J].计算机技术与发展,2012,(11):243.
CHENG Gui-hua,WANG Yang,ZHAO Chuan-xin,et al.Design Method on Trusted Terminal Access Device by Modular Inversion in Mobile Internet[J].,2012,(05):243.