Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

Overview of attention for article published in Service Oriented Computing and Applications, December 2013

Altmetric Badge

About this Attention Score

Average Attention Score compared to outputs of the same age

Mentioned by

twitter: 3 X users

Citations

dimensions_citation: 53 Dimensions

Readers on

mendeley: 27 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 5 X posts from 3 X users, with an upper bound of 1,039 followers.

@satnamsingh @kubernetesio @docker @afd_icl Did you look at our work on ABS in @EnvisageProject ? For example http://t.co/WmPKxUvBtk

Reply Repost Favourite

Case study journal paper “Formal modeling and analysis of resource management for cloud architectures” published http://t.co/m1op5UlicE

Reply Repost Favourite

Case study journal paper “Formal modeling and analysis of resource management for cloud architectures” published http://t.co/m1op5UlicE

Reply Repost Favourite

Case study journal paper “Formal modeling and analysis of resource management for cloud architectures” published http://t.co/m1op5UlicE

Reply Repost Favourite

New Envisage paper: Formal modeling and analysis of resource management for cloud architectures http://t.co/lnJL8E36Vg #cloud #formalmethods

Reply Repost Favourite