008010613s1998 ulka a kor
■245 ▼a실시간 객체의 시간 명세 및 검증 기법▼bThe Timing Specification and Verification on Real-Time Object▼d손혁수 저▼e양승민 공저
■260 ▼a서울▼b한국정보과학회▼c1998.
■300 ▼app. 484-486
■650 ▼a객체지향
■653 ▼a실시간객체▼a시간명세
■700 ▼a손혁수
■700 ▼a양승민
■773 ▼t학술발표논문집-한국정보과학회▼g25권 2호 (1998년 10월)▼d1998, 10
■URL ▼ahttp://
■SIS ▼aS001810▼b15791▼h4▼s2▼fS