TU Darmstadt / ULB / TUbiblio

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

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Tarifa, Silvia Lizeth Tapia ; 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, 8 (4)
doi: 10.1007/s11761-013-0148-0
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 2014
Autor(en): Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Tarifa, Silvia Lizeth Tapia ; Wong, Peter Y. H.
Art des Eintrags: Bibliographie
Titel: Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Sprache: Deutsch
Publikationsjahr: 2014
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Service Oriented Computing and Applications
Jahrgang/Volume einer Zeitschrift: 8
(Heft-)Nummer: 4
DOI: 10.1007/s11761-013-0148-0
URL / URN: https://doi.org/10.1007/s11761-013-0148-0
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Software Engineering
20 Fachbereich Informatik
Hinterlegungsdatum: 27 Apr 2018 10:04
Letzte Änderung: 27 Apr 2018 10:04
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen