Browse "CS-Conference Papers(학술회의논문)" by Author 20133467
Showing results 1 to 1 of 1
| 변수 개수 최소화를 통한 소프트웨어 모델 체킹 성능향상 연구 이낙원; 백종문; 박진희, 제16회 한국 소프트웨어공학 학술대회, 한국정보과학회, 한국정보처리학회, 2014-02-12 |
Discover
Type
- 102 Article
- 7,390 Conference
- 1 Thesis
Date issued
- 937 2020 - 2024
- 2,486 2010 - 2019
- 2,318 2000 - 2009
- 1,422 1990 - 1999
- 326 1980 - 1989