DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Conference Papers(학술회의논문)

실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 652
  • Download : 0
Export
홍광의 / 지은경 / 배두환researcher
Publisher
한국정보과학회
Issue Date
2013-06-26
Language
KOR
Citation

2013 한국컴퓨터종합학술대회, pp.520 - 522

URI
http://hdl.handle.net/10203/190722
Appears in Collection
CS-Conference Papers(학술회의논문)
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