Circuit breakers; Integrated circuit modeling; Animation; Unified modeling language; Clocks; Visualization; Runtime;
机译:变异感知组件模型模式框架的事件-B形式化
机译:MicroService架构中的部署和通信模式:系统文献综述
机译:与MicroService架构有关的模式:多因素文献综述
机译:使用Event-B来正式化微服务架构模式
机译:从恢复的策划系统架构的微服务模式识别
机译:SatEC:基于微服务架构的5G卫星边缘计算框架
机译:变异感知组件模型模式框架的事件-B形式化