임베디드 소프트웨어에서 발생하는 정수 확장 (Integer Promotion) 버그 검출을 위한 정적 분석 기법

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 333
  • Download : 0
Publisher
한국정보과학회
Issue Date
2015-12-18
Language
Korean
Citation

Korea Computer Congress (KCC)

URI
http://hdl.handle.net/10203/210229
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0