다중 유한상태머신 기반 병렬적 도달성 분석 기법2010년 4월 1일 · 약 1분이정선이우진담당교수신영술카오티리저자: 이정선, 이우진, 신영술, 카오티리 발표: 제33회 한국정보처리학회 춘계학술발표대회, 제17권, 제1호, 2010년 4월 분야: UML 모델링 본 논문은 다중 유한상태머신을 기반으로 한 병렬적 도달성 분석 기법에 관한 연구이다. 복수의 상태머신이 동시에 동작하는 시스템에서 상태 도달 가능성을 효율적으로 분석한다. 논문 보기 →