Open AccessEnvisage: Developing SLA-aware Deployed Services with Formal Methods
Author(s) -
Elvira Albert,
Frank de Boer,
Reiner Hähnle,
Einar Broch Johnsen,
Cosimo Laneve
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , service level agreement , software deployment , cloud computing , scalability , software engineering , operating system