UML; model-driven engineering; reactive systems; real-time; software verification;
机译:通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
机译:有效验证实时系统高保证属性的模型和算法
机译:SLA驱动的建模和验证云系统:基于巨大的反应系统的方法
机译:建模与验证反应系统的实时性能
机译:实时和网络物理系统的建模和验证
机译:嵌入式实时系统的运行时验证
机译:验证建模为同步反应系统的神经元原型的时间特性