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

Compositional Systems Lab

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 TypePhD Dissertation
Citation Key d:whitsitt-phd