• 一种开关过载控制机构Petri网模型的仿真求解方法

    一种开关过载控制机构Petri网模型的仿真求解方法

    一、交换机过载控制机理Petri网模型的仿真求解方法(论文文献综述)张玉琢[1](2020)在《列控安全计算机分区软件的形式化建模与验证方法研究》文中认为随着通信技术、控制技术...
  • 软件可靠性增长模型研究

    软件可靠性增长模型研究

    一、软件可靠性增长模型研究(论文文献综述)李红辉,赵森,管军霖,江周娴[1](2021)在《铁路软件可靠性增长模型应用研究》文中认为分析G-O、DelayedS-shaped、...