By contrast with other formal meth- ods, merits and limits of interface automata are summarized.
在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。
参考来源 - 接口自动机——一种用于组件组合的形式系统 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
The composition of the components is modeled by the product of interface automata.
构件的组合描述为接口自动机的乘积。
This paper surveys interface automata, timed interface automata, resource interface and game-based idea in them.
本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。
Optimistic approach and game-theoretic foundations that deal with composition are the prominent characteristics of interface automata and are distinct from other formal methods.
接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。
应用推荐