非功能性质验证相关硕士博士期刊学术论文 - 搜论网

非功能性质验证相关论文

构件化嵌入式软件设计模型非功能性质验证的工具实现

嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期，缺乏有效工具对系......

期刊

嵌入式软件设计非功能性质验证构件化设计软件验证工具接口自动机 Embedded software design Non-functional prop

看过本文同时还关注