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.
8, In: Service Oriented Computing and Applications, (4), pp. 323-339, 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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item