Original language | Korean |
---|---|
Journal | 정보과학회지 |
State | Published - 2014 |
소프트웨어의 안전성 검증을 위한 모델검증 도구
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Original language | Korean |
---|---|
Journal | 정보과학회지 |
State | Published - 2014 |