Additional Metadata
THEME Software (theme 1)
Publisher Springer
Journal Service Oriented Computing and Applications
Citation
Albert, E, de Boer, F.S, Haehnle, R, Johnsen, E.B, Schlatte, R, Tarifa, S.L.T, & Wong, P.Y.H. (2014). Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS. Service Oriented Computing and Applications, 8(4), 323–339.