Context; Grammar; Manganese; Semantics; Syntactics; System recovery; Unified modeling language; Event-B; Formal semantics; Institution theory; Model transformation; UML Activity Diagram;
机译:基于可满足性模理论求解器的有效测试用例,用于面向服务的工作流应用程序
机译:数字化缓解:小额信贷机构在面向服务的体系结构中的应用
机译:多机器人面向服务架构的理论与应用
机译:服务面向服务的机构理论
机译:金融服务机构中面向成功的数据集成模型。
机译:两种简单的空间分析方法及其在面向位置的医疗服务研究中的应用。
机译:通过在线时装产品租赁服务探索非所有权服装消费:制度理论的应用
机译:北卡罗来纳州罗利的住宅加速:向美国司法部提供的最终报告,社区导向警务服务办公室关于以问题为导向的警察项目指南的现场应用