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

  1. Albert, E.
  2. de Boer, F.S.
  3. Hähnle, R.
  4. Johnsen, E.B.
  5. Schlatte, R.
  6. Tapia Tarifa, S.L.
  7. Wong, P.Y.H.
Zeitschrift:
Service Oriented Computing and Applications

ISSN: 1863-2394,  1863-2386

Datum der Publikation: 2014

Ausgabe: 8

Nummer: 4

Seiten: 323-339

Art: Artikel

DOI: 10.1007/S11761-013-0148-0 GOOGLE SCHOLAR
Datenquelle: Scopus