Specifying Monitoring and Switching Problems in Context.

Mohammed Salifu, Yijun Yu, Bashar Nuseibeh

Browse the full RE paper archive.