FORMS: Unifying reference model for formal specification of distributed self-adaptive systems

Danny Weyns, Sam Malek, Jesper Andersson. FORMS: Unifying reference model for formal specification of distributed self-adaptive systems. TAAS, 7(1):8, 2012. [doi]

Abstract

Abstract is missing.