Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Manzoor Ahmad, Nicolas Belloir, Jean-Michel Bruel. Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems. Journal of Systems and Software, 107:50-70, 2015. [doi]

Abstract

Abstract is missing.