formalized approach

• 形式化方法

formalized approach的用法和样例：

例句

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.
   摘要旨在为角色自律分散系统的建模提供一种形式化方法，为形式化验证奠定基础。