Ankit Goel

MathSciNet


Ph.D. National University of Singapore 2009 Singapore
Dissertation: Parameterized Validation of UML-like models for Reactive Embedded Systems

Advisor 1: Abhik Roychoudhury

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 143107 for the advisor ID.