构件交互协议建模相关硕士博士期刊学术论文 - 信丰网

构件交互协议建模相关论文

基于模型检查的嵌入式软件构件化分析与验证

伴随着近年来计算机硬件设备性能的迅速提升以及嵌入式系统的广泛应用,嵌入式软件的复杂度和规模也不断膨胀,软件的可靠性占据了整......

学位

嵌入式软件构件化系统设计构件交互协议建模模型检查资源约束统一建模语言UML

看过本文同时还关注