规则化描述方法及其验证技术的研究与应用的任务书

规则化描述方法及其验证技术的研究与应用的任务书任务书一、任务目的规则化描述方法及其验证技术的研究应用是近年来领域内的热点问题之一，是目前许多国家和地区正在积极推进的计算机科学和软件工程领域，为了提高规