First Page | Document Content | |
---|---|---|
Date: 2016-09-22 17:48:28 | An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification lAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source WebsiteFile Size: 200,86 KBShare Document on Facebook |