Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems
| Title | Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos |
| Journal | International Journal on Software Tools for Technology Transfer |
| Keywords | 1350420 |
| DOI | 10.1007/s10009-017-0447-4 |
| Citation Key | HoxhaDF17sttt |