mwb

Finally , typical changes are exploited as case studies to complete a thorough validation of the proposed formal methods based on the MWB mobile work platform .

最后，以本体中的典型变化为例，基于MWB移动工作平台对于本文提出的形式化方法给予完整的验证。

And there are serviced office providers such as Regus , MWB and Workspace .

雷格斯（Regus）、MWB和Workspace等企业提供有服务的办公室。

Therefore , a multi-user whiteboard system , mobile whiteboard ( mWB ), is designed and implemented to facility the interaction based on graphics for smart phones .

因此，本文设计和实现了一个应用于智能手机的多用户电子白板系统，简称mWB（mobileWhiteboard），使用户通过手机就可以进行图形交互。

In order to satisfy the requirements of the body of test transformer without local discharge introduced from MWB Compary of West Germany , the vacuum hot air drying equipment for oil impregnation is manufactured by us .

为了适用于引进德国MWB公司的无局放试验变压器器身干燥的要求，我们研制了真空热风干燥浸油设备。

Firstly , it elaborates the refinement method , process and rules from the three sides namely structure , behavior and attribute . Secondly , it uses the behavior equivalence theory and MWB of pi-calculus to verify and detect the architecture refinement .

首先，从结构求精、行为求精和属性求精三个方面阐述了体系结构求精的方法、过程和规则；接着利用π演算的行为等价理论和检测工具MWB对该体系结构求精方法和规则进行验证。

The paper presents an auto-mapping method from business process execution language for Web Services ( BPEL4WS ) to it-calculus , checks the deadlocks property of the system expressing by it-calculus using the mobility workbench ( MWB ) and illustrates the approach .

描述了将Web服务业务流程执行语言（BPEL4WS）映射到π-演算的自动映射方法，对得到的π-演算表达式利用移动工作台（MWB）进行死锁验证，并给出一个具体示例。