可判定性论文

论文摘要随着计算机技术和网络技术的发展，移动计算与实时计算已经成为计算机科学领域的两个研究热点，受到越来越多的关注。不同领域的学者对这一问题的研究有不同的方法。形式化方法作为研...