Researcher/Engineer
Toyota Technical Center, Gardena, CA 90248.
E-mail : <firstname>.<lastname>@tema.toyota.com Interests
:
Verification of Software and Models for
Automotive Control Systems, Model-based
Design and Testing, Automatic Synthesis
and Verification of Hybrid Systems. Publications : Link