Jangwoo Shin, Ph.D.
Affiliations: | 2002 | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Formal Methods and LogicGoogle:
"Jangwoo Shin"Parents
Sign in to add mentor| Oleg Sokolsky | grad student | 2002 | Penn | |
| (State -space tool: Understanding concurrent programs through state -space.) | ||||