形式化语法论文

基于UML与时序逻辑的嵌入式实时软件建模及应用
论文摘要嵌入式系统是近年来国内外计算机科学与控制论领域研究的一个热点课题。随着嵌入式系统的规模和复杂性不断增大,建模在嵌入式实时软件开发过程中的作用也越来越重要。统一建模语言U...