Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems
| Title | Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
| Journal | ACM Transactions on Embedded Computing Systems (Accepted) |
| Keywords | 1350420 |
| Citation Key | DokhanchiHF17tecs |