최소한의 방문 기록을 이용한 병행 시스템의 상태공간 순회기법(State Space Exploration of Concurrent Systems with Minimal Visit History)
· 약 1분
저자: 이정선, 최윤자, 이우진 게재지: 정보과학회논문지:소 프트웨어 및 응용(ISSN:1229-6848), 제37권, 제9호, pp.669-675, 2010년 9월 분야: 소프트웨어 공학
본 논문은 최소한의 방문 기록을 이용한 병행 시스템의 상태공간 순회기법(State Space Exploration of Concurrent Systems with Minimal Visit History)에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.