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

ISSN: 1863-2394,  1863-2386

Año de publicación: 2014

Volumen: 8

Número: 4

Páginas: 323-339

Tipo: Artículo

DOI: 10.1007/S11761-013-0148-0 GOOGLE SCHOLAR
Fuente de los datos: Scopus