KOSEN 한인과학기술자네트워크

닫기

더 많은 혜택을 위해
로그인 하세요.

네트워크

네트워크

다양한 연구실 탐방기사 보기
다양한 연구실 탐방기사 보기

정보통신

소프트웨어 연구실

2019-12-19 org.kosen.entty.User@1c23c8
IoT and Software Security
  • IoT Software
  • Android system
  • Software security
    •

    Program Analysis and Verification

  • Static program analysis
  • Dynamic program analysis
  • Formal verification of software
    •

    Automated Software Engineering

  • Program visualization
  • Automatic software testing
  • Secure Coding
    •

    국가

    대한민국

    소속기관

    숙명여자대학교 (학교)

    연락처

    02-710-9378 http://cs.sookmyung.ac.kr/~chang/

    책임자

    창병모 chang@sookmyung.ac.kr

    소속회원 1

    DELETED(mind6153)

    기계

    목록
    목록