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]
Abstract is missing.