形式化定义

抽象状态机论文-单锦辉,张路,王金波,张涛
导读:本文包含了抽象状态机论文开题报告文献综述及选题提纲参考文献，主要关键词:需求建模语言,实时,嵌入式软件,形式化定义抽象状态机论文文献综述单锦辉,张路,王金波,张涛[1]（...