Distributed data processing; Specifications; Integration; Parameters; Symposia; Software engineering;
机译:基于组件的分布式计算中的服务分析质量的正式方法
机译:用于基于组件的嵌入式应用程序中功能可靠性的早期分析的形式化方法
机译:分布式数据聚合服务中规则分析和验证的正式方法
机译:服务和云计算形式方法的2016 IEEE Services Emerging Technology Track(FM-S&C 2016)Workshop Summary
机译:QoSPL:服务质量驱动的软件产品线工程框架,用于设计和分析基于组件的分布式实时和嵌入式系统
机译:体育组织中情感质量的混合方法分析:体育服务儿童用户的面部表达为数据
机译:分布式数据聚合服务中规则分析和验证的正式方法