Showing results 9 to 10 of 10
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