UPPAAL工具相关论文
全自动运行是未来城市轨道交通发展的主要方向，与传统驾驶模式相比，对于特殊运行场景下的应急处理能力与处理效率有着更高的要求。本......
随着计算机应用领域的不断扩张,计算机软件的开发规模逐渐扩大,软件复杂度不断增加,开发周期和开发成本也不断增长。为了解决这些......
随着现代化的推进以及通信等技术的发展,计算机软件已广泛应用于各类安全攸关的系统中。在安全攸关实时系统的设计中,系统的复杂性......
近年来，关于下一代互联网和物联网的研究成果日渐丰富，新的数据通信和传输方法不断涌现。其中，新的路由协议是新型网络的关键部分，其正......
