TU Darmstadt / ULB / TUbiblio

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

Albert, Elvira and de Boer, Frank S. and Hähnle, Reiner and Johnsen, Einar Broch and Schlatte, Rudolf and Tarifa, Silvia Lizeth Tapia and Wong, Peter Y. H. (2014):
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
In: Service Oriented Computing and Applications, pp. 323-339, 8, (4), DOI: 10.1007/s11761-013-0148-0, [Online-Edition: https://doi.org/10.1007/s11761-013-0148-0],
[Article]

Item Type: Article
Erschienen: 2014
Creators: Albert, Elvira and de Boer, Frank S. and Hähnle, Reiner and Johnsen, Einar Broch and Schlatte, Rudolf and Tarifa, Silvia Lizeth Tapia and Wong, Peter Y. H.
Title: Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Language: German
Journal or Publication Title: Service Oriented Computing and Applications
Volume: 8
Number: 4
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 10:04
DOI: 10.1007/s11761-013-0148-0
Official URL: https://doi.org/10.1007/s11761-013-0148-0
Export:

Optionen (nur für Redakteure)

View Item View Item