Showing results 1 to 2 of 2
SPIN으로부터 생성된 반례의 축소 및 시각화 기법 = Compaction and visualization of SPINs counterexamplelink 신모범; Shin, Mo-Bum; et al, 한국과학기술원, 2007 |
스테이트차트의 실시간 검증을 위한 모델체커의 확장 = Extending SMV for real-time verification of statechartslink 방호정; Bang, Ho-Jung; et al, 한국과학기술원, 2003 |
Discover