TOP Page > Faculty List by Affiliation
Faculty List by Affiliation
Center for Highly Dependable Embedded Systems Technology
1 faculty member found.
Click on a name for details.

No. Name Affiliation Job title Research Keywords
1 Kenrou Yatake Center for Highly Dependable Embedded Systems Technology
Assistant Professor Formal method, Theorem proving, Model checking

© Japan Advanced Institute of Science and Technology 2007