模型校验论文

GCC编译器安全验证方法研究
论文摘要编译器作为计算机软件中最为基础的软件之一,与操作系统、数据库系统一起被列为构成计算机系统软件的关键性的基础设施。而编译器作为任何软件的产生器,它的安全性、可靠性和稳定性...
一种企业工作流过程模型及其校验
论文摘要工作流技术作为面向流程的管理技术，可以为企业带来智能化、高效性、可控性和灵活性。越来越多的企业正在扩展对工作流技术的应用，以优化其TQCS(时间、质量、成本和服务)。工...