AFDX network; Timed Automata; UPPAAL Modelling; Worst case delay analysis;
机译:用于AFDX最坏情况延迟分析的VL最坏情况流模型
机译:具有周期性流出的路段的蜂窝交通流模型中的延迟时间
机译:考虑时间延迟速度差异,通过改进的车辆跟踪模型进行交通流量的分岔分析
机译:一种改进的定时自动机模型,用于计算AFDX定期流程的精确最坏情况延迟
机译:使用新技术的航天器稳定性和控制用于周期性和时延系统。
机译:具有周期性治疗作用的肿瘤生长的时延数学模型
机译:使用定时自动机计算太空线网络中确切的最坏情况下的端到端延迟