A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations
Title | A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations |
Publication Type | Thesis |
Year of Publication | 2014 |
Authors | Whitsitt, S |
Degree | PhD |
Date Published | 12/2014 |
University | University of Arizona |
City | Tucson, AZ |
Thesis Type | mastersPhD Dissertation |