时间自动机论文

基于UML顺序图与UPPAAL的列车追踪模块建模研究（英文）
论文摘要区域控制器(zonecontroller,ZC)是一个实时复杂系统,它要求过程控制的准确性。列车追踪场景是城市轨道交通(communicationbasedtrainc...
基于模型检验的分级调度系统参数生成方法
论文摘要针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模型检验和统计模型检验(SMC)技术,构建一...