时间抽象状态机相关硕士博士期刊学术论文

针对时间抽象状态机(TASM)存在一定的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及“%”,“&”,“|”,“^”,“>......