Formal Requirements-Driven Analysis of Cyber Physical Systems
| Title | Formal Requirements-Driven Analysis of Cyber Physical Systems |
| Publication Type | Thesis |
| Year of Publication | 2017 |
| Authors | Bardh Hoxha |
| Date Published | July |
| University | Arizona State University |
| Thesis Type | phd |
| Keywords | 1350420, 1446730 |
| Citation Key | Hoxha2017phd |