Adel Dokhanchi. From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems. PhD thesis, Arizona State University, Tempe, USA, 2017. [doi]
@phdthesis{basesearch-8341,
title = {From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems},
author = {Adel Dokhanchi},
year = {2017},
url = {https://www.base-search.net/Record/7af222dc54f7d2f3df7df33a9391565cb78eec887fecff32f7d871ca1738bd86},
note = {base-search.net (ftarizonastateun:item:46245)},
researchr = {https://researchr.org/publication/basesearch-8341},
cites = {0},
citedby = {0},
school = {Arizona State University, Tempe, USA},
}