成员

blob.png    

Name程着
Professional TitleLecturer
Research FieldsFormal method, Real-time system scheduling and system design
E-mailchengzhuo@jalst.ac.jp
Short Bio
Publications:blob.png
Projectsblob.pngblob.png
Personal profile