formalized approach

英 美
  • 形式化方法
  • approach v.靠近;接近;接洽;要求;达到;动手处理n.途径;方法;接近;接洽;要求;路径;进场着陆;相似的事物
  • formalized adj.形式化的,使程序化的v.formalize的动词过去式、过去分词
    1. The purpose of this paper is to provide a kind of formalized specification method for the Role Autonomous Decentrzlized System and lay the foundation for the formalized validation.
      摘要旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础。