成员
薛锦云
郑宇军
覃锋
胡启敏
石海鹤
王昌晶
程着
游珍
左正康
谢武平
陈媛媛
李美玲
胡洪文
Name
:
程着
Professional Title
:
Lecturer
Research Fields
:
Formal method, Real-time system scheduling and system design
E-mail
:
chengzhuo@jalst.ac.jp
Short Bio
:
Publications:
Projects
:
Personal profile
: