GDPA  
Jin-Young Choi  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

Jin-Young Choi

E-Mail

mailto:choi@formal.korea.ac.kr

Homepage

http://formal.korea.ac.kr/~choi/

Address

Department of Computer Science and Engineering 
Korea University 
Anam-dong, Sungbuk-ku 
Seoul, 136-701 
Korea

Phone: +82-2-3290-3200
Fax: +82-2-953-0771
Lab: +82-2-929-8681
Office: 201 A-San Science Building

Institution

Korea University

Publications

/Choi, 1995a/ The Specification and Schedulability Analysis of Real-Time Systems using ACSR

See Also

more information at dlpb - Universitšt Trier

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster