Run-Time Verification of MSMAS Norms Using Event Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emad Eldeen Elakehal, Marco Montali, Julian Padget. Run-Time Verification of MSMAS Norms Using Event Calculus. In Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, London, United Kingdom, September 8-12, 2014. pages 110-115, IEEE, 2014. [doi]

This author has not been identified. Look up 'Emad Eldeen Elakehal' in GoogleThis author has not been identified. Look up 'Marco Montali' in GoogleThis author has not been identified. Look up 'Julian Padget' in Google

runs on WebDSL