First Page | Document Content | |
---|---|---|
Date: 2016-07-20 12:50:31Logic Symbol Substitution Mathematical logic Finite automata | A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifiAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source WebsiteFile Size: 474,22 KBShare Document on Facebook |