Real-time systems; C++ languages; Automata; XML; Automotive engineering; Tools; Clocks;
机译:集成UML和UPPAAL,以设计,指定和验证基于组件的实时系统
机译:使用Uppaal进行基于场景的实时系统验证
机译:汽车传动系统实时仿真的面向控制模型
机译:基于UPPAAL的汽车系统实时仿真
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:汽车制造业实时监控系统中基于物联网的传感器大数据处理和机器学习模型的性能分析
机译:集成UmL和UppaaL用于设计,指定和验证基于组件的实时系统