形式化方法论文

  • 基于UPPAAL软件的实时系统设计研究

    基于UPPAAL软件的实时系统设计研究

    一、基于UPPAAL软件的实时系统设计研究(论文文献综述)陈光,蒋同海,王蒙,唐新余,季文飞[1](2021)在《物联网系统时间自动机建模的研究与应用》文中认为探讨基于时间自动...