250 followers
RT @simosgerasimou: Book chapter on "Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software" part…
RT @simosgerasimou: Book chapter on "Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software" part…
Book chapter on "Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software" part of Software Engineering for Self-Adaptive Systems III: Assurances is now available online. https://t.co/AHgNg84HWa