环境演算相关论文
作为一种很重要的自动验证技术,模型检测已得到广泛研究,取得了丰硕的成果并应用到众多领域,引起学术界、工业界的密切关注。模型......
摘要：选取了环境演算作为移动计算形式理论基础，研究移动计算中资源发现场景下的环境演算描述方法。完成了環境演算中对资源及参与实......
