Here the refinement of SOZRSL specification is divided into structure refinement, data refinement and predicate refinement.
文中将SOZRSL规格说明的求精分解为结构求精、数据求精和谓词求精三部分。
Here the refinement of SOZRSL specification is divided into structure refinement, data refinement and predicate refinement.
文中将SOZRSL规格说明的求精分解为结构求精、数据求精和谓词求精三部分。
应用推荐