MARC

 008201013s2005        ulk                          aa    kor
■022    ▼a15982831
■1001  ▼a박사천  (  Sa  Choun  Park  )
■24510▼a효과적인  임베디드  소프트웨어  설계를  위한  제어흐름  모델의  자동  검증▼d박사천  (  Sa  Choun  Park  )▼e권기현  (  Gi  Hwon  Kwon  )  ,  하순회  (  Soon  Hoi  Ha  )  공저
■260    ▼a서울▼b한국정보처리학회▼c2005.
■300    ▼app.  563-570
■500    ▼a참고문헌수록
■7001  ▼a권기현  (  Gi  Hwon  Kwon  )  ,  하순회  (  Soon  Hoi  Ha  )
■773    ▼t정보처리학회논문지  A=The  KIPS  Transations  :  Part  A▼g제12-A권  제7호  (통권  제97호)(2005년  12월)▼d2005,  12
■856    ▼uhttp://www.kips.or.kr
■SIS    ▼aS018635▼b60058741▼h8▼s2▼fP

Preview

Export

ChatGPT Discussion

AI Recommended Related Books