DSpace at KOASAS
College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)NE-Journal Papers(저널논문)

코드기반 모델 체킹 방법의 연구 동향

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 313
  • Download : 0
Export
김태효 / 차성덕
Publisher
정보과학회
Issue Date
2002-06
Language
Korean
Citation

소프트웨어공학지, v.15, no.2, pp.3 - 16

URI
http://hdl.handle.net/10203/78538
Appears in Collection
Files in This Item
There are no files associated with this item.

Display Full Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0