A Formal Approach to Adaptive Software: Continuous Assurance of Non-Functional Requirements
Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-011-0207-2
Full Text
Open PDFAbstract
Available in full text
Date
November 3, 2011
Authors
Publisher
Springer Science and Business Media LLC