Showing results 6 to 10 of 10
Message sequence charts와 statecharts간의 일관성 검사 = Consistency checking between Message sequence charts and statechartslink 김태효; Kim, Tai-Hyo; 차성덕; 배두환; et al, 한국과학기술원, 2000 |
Statecharts 명세의 역방향 안전성 분석 = Backward safety analysis for statecharts specificationslink 장준보; Jang, Joon-Bo; et al, 한국과학기술원, 1999 |
Stepwise verification of statecharts specification using state abstraction = 상태 추상화를 통한 Statecharts 요구명세의 단계적 검증link Oh, Seung-Uk; 오승욱; et al, 한국과학기술원, 1998 |
Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001 |
스테이트차트의 실시간 검증을 위한 모델체커의 확장 = Extending SMV for real-time verification of statechartslink 방호정; Bang, Ho-Jung; et al, 한국과학기술원, 2003 |
Discover