Game-Based Monitors for Scenario-Based Specification

Pengcheng Zhang, Jun Yu, Wenrui Li, Hareton Leung. Game-Based Monitors for Scenario-Based Specification. In 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013. pages 264-267, IEEE, 2013. [doi]

Abstract

Abstract is missing.