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.
Aldizkaria:
Service Oriented Computing and Applications

ISSN: 1863-2394,  1863-2386

Argitalpen urtea: 2014

Alea: 8

Zenbakia: 4

Orrialdeak: 323-339

Mota: Artikulua

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