At last, discusses the important role of action refinement in specification language's hierarchical descriptions.

最后，探讨了动作细化在规范语言层次化描述中的作用。

youdao

At last, discusses the important role of action refinement in specification language's hierarchical descriptions.

最后，探讨了动作细化在规范语言层次化描述中的作用。

youdao