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

변수 개수 최소화를 통한 소프트웨어 모델 체킹 성능향상 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 384
  • Download : 646
Export
이낙원 / 백종문researcher / 박진희
Publisher
한국정보과학회, 한국정보처리학회
Issue Date
2014-02-12
Language
Korean
Citation

제16회 한국 소프트웨어공학 학술대회

URI
http://hdl.handle.net/10203/222970
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
이낙원_KCSE2014.pdf(552.56 kB)Download

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