View of Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification

Return to Article Details Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification Download Download PDF