命题μ-演算相关论文
随着计算机软硬件系统规模的日益复杂化、重要化，如何保证计算机系统的正确性和可靠性，逐渐成为当前理论界和产业界共同关心的重要问......
随着信息时代的来临，物联网早已成为信息化发展中不可或缺的一部分。为了使物联网更加智能化，将语义引入物联网中，形成语义物联网。将......
随着计算机软件系统、硬件系统的发展,系统也变得越来越复杂,因此设法保证系统的正确性和可靠性变得越来越重要。为此,许多学者投......
