您要查找的是不是：
- Keywords formal verification;compositional verification;model checking;refinement checking;interface automata;architecture description language（ADL）; 形式验证;组合验证;模型检验;精化检验;接口自动机;体系结构描述语言;
- One who looks or behaves like an automaton. 木讷呆板的人长相和行为象机器人一样的人
- Can you give me an explanation of the man-machine interface? 你能给我解释一下人机接口吗？
- interface automata 接口自动机
- interface automaton 接口自动机
- Zhongya Automata Welding Equipment Co., Ltd. 任丘市中亚自动焊接设备有限公司。
- This is a fully functional automaton. 这是一个有全自动功能的机器人。
- It is also the golden years of the automaton. 这也是自动操作的黄金时代。
- Poor wetting would produce voids at the interface. 浸润不良会在界面上产生孔隙。
- Never bend your interface to fit a metaphor. 不要让你的界面屈从某个隐喻。
- Inflect the interface for typical navigation. 为常见的导航调整界面。
- AVL system software hasfavorable interface. AVL系统软件具有良好的人机界面。
- Technical interface with IBE, Quality departments. 和IBE以及公司质量部的技术沟通.
- Does the interface meet all standards? 界面是否与所有的标准相符?
- If so, will a Keyboard Wedge Interface work? 如果这样,一个键盘将用楔片固定界面工作吗?
- Determination of finite automata China, NFA to DFA transformation. 有限自动机的确定华，NFA到DFA的转变。
- One way is to interface it to a silicon chip. 方法之一就是把微生物放到一个硅芯片中。
- Modularization state automaton implements batch job execution. 模块化的状态自动机实现了作业的执行。
- So, what should we make of interface guidelines? 我们应该如何对待界面指导准则?
- An automaton which has no input or has a constant input content. 没有输入或输入内容不变的自动机。
