Browse "School of Computing(전산학부)" by Author 20125132
Showing results 1 to 1 of 1
| 변수 개수 최소화를 통한 소프트웨어 모델 체킹 성능향상 연구 이낙원; 백종문; 박진희, 제16회 한국 소프트웨어공학 학술대회, 한국정보과학회, 한국정보처리학회, 2014-02-12 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989