From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems
| Title | From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems |
| Publication Type | Thesis |
| Year of Publication | 2017 |
| Authors | Adel Dokhanchi |
| University | Arizona State University |
| Thesis Type | phd |
| Keywords | 1350420 |
| Citation Key | Dokhanchi2017PhD |