形式化定义

  • 嵌入式状态机论文-单锦辉,张路,王金波,张涛

    嵌入式状态机论文-单锦辉,张路,王金波,张涛

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