2017년 한국정보과학회 고신뢰컴퓨팅연구회 하계워크샵(WDCS2017) 안내