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

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions