Performance Analysis; Probabilistic Analysis; RT-Maude; Real-Time Systems; Rewriting Logic;
机译:定时Kripke结构的声音和完整的定时CTL模型检查以及实时重写理论
机译:混合模型随机装配线实时优化模型的性能分析
机译:通过实时模拟模型分析催化转化器对汽车发动机性能的影响
机译:实时重写模型的性能分析
机译:城市发展模式对跨越城域集水区径流峰值流量的影响及其流闪烁:评估物理和数据驱动模型的实时合奏洪水预测性能
机译:汽车制造业实时监控系统中基于物联网的传感器大数据处理和机器学习模型的性能分析
机译:基于重写的正式建模,分析和实现实时分布式服务
机译:重写规则机器。重写规则机的计算模型