场景规约相关硕士博士期刊学术论文 - 皮皮文库

场景规约相关论文

面向不确定环境场景规约的定量时间分析研究

随着5G通信、物联网技术的发展,越来越多软件、硬件被部署在开放的物理环境中。然而,系统在该环境中运行存在多种不确定性因素(例......

学位

场景规约不确定环境 UML顺序图价格时间自动机统计模型检验定量时间分析

基于场景的中断驱动系统建模与验证

中断驱动系统被广泛应用于安全关键的嵌入式系统中,如航空航天、工业过程控制等。这些系统对软硬件的可靠性要求极为苛刻,一旦出现......

学位

中断驱动系统模型检验场景规约 UML序列图

看过本文同时还关注