![Theoretical computer science / Formal languages / Logic in computer science / Runtime verification / Finite-state machine / Geographic information system / Regular expression / Software engineering / Computing Theoretical computer science / Formal languages / Logic in computer science / Runtime verification / Finite-state machine / Geographic information system / Regular expression / Software engineering / Computing](https://www.pdfsearch.io/img/a54f011e8b9835d82481e2ec5fd88ac1.jpg) Date: 2016-07-20 12:50:25Theoretical computer science Formal languages Logic in computer science Runtime verification Finite-state machine Geographic information system Regular expression Software engineering Computing | | A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using executionAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 310,34 KBShare Document on Facebook
|