数据流时延相关硕士博士期刊学术论文 - 搜论网

数据流时延相关论文

基于Uppaal的实时系统AADL数据流模型的转换与验证

体系结构分析设计语言AADL是一种可支持软硬件一体化建模及同一模型多元分析的形式化与图形化建模语言。采用时间自动机形式化模型......

期刊

AADL 时间自动机模型数据流时延 Uppaal 软件验证

基于AADL的数据流转换与验证

AADL在嵌入式实时系统领域,支持系统软、硬件结构建模的同时又能对可靠性、实时性等非功能属性进行描述,可以在模型驱动开发过程中......

期刊

AADL 数据流时延形式化描述时间自动机性质验证

看过本文同时还关注