Back to Results
First PageMeta Content
Logic / 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 specifi
Add to Reading List

Document Date: 2016-07-20 12:50:31


Open Document

File Size: 474,22 KB

Share Result on Facebook