Model Checking Goal-Oriented Requirements for Self-Adaptive Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dhaminda B. Abeywickrama, Franco Zambonelli. Model Checking Goal-Oriented Requirements for Self-Adaptive Systems. In Miroslav Popovic, Bernhard Schätz, Sebastian Voss, editors, IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012. pages 33-42, IEEE, 2012. [doi]

This author has not been identified. Look up 'Dhaminda B. Abeywickrama' in GoogleThis author has not been identified. Look up 'Franco Zambonelli' in Google

runs on WebDSL