Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
- Albert, E.
- de Boer, F.S.
- Hähnle, R.
- Johnsen, E.B.
- Schlatte, R.
- Tapia Tarifa, S.L.
- Wong, P.Y.H.
ISSN: 1863-2394, 1863-2386
Année de publication: 2014
Volumen: 8
Número: 4
Pages: 323-339
Type: Article