A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations

TitleA Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations
Publication TypeThesis
Year of Publication2014
AuthorsWhitsitt, S
DegreePhD
Date Published12/2014
UniversityUniversity of Arizona
CityTucson, AZ
Thesis TypemastersPhD Dissertation