Akshay Rajhans
Original record- Institution
- Carnegie Mellon University
- Year
- 2013
- Country
- United States
- MGP identifier
- 251545
Dissertation: Multi-Model Heterogeneous Verification of Cyber-Physical Systems
Mathematics Subject Classification: 93—Systems theory; control
Advisor 1
- Bruce Harvey KroghUniversity of Illinois at Urbana-Champaign · 1982
Students 0
No students recorded in this snapshot.