Showing results 1 to 2 of 2
Model checking using interface abstraction = 인터페이스 추상화를 이용한 모델 체킹link Jung, Hee-Jae; 정희재; et al, 한국과학기술원, 2003 |
Synthesis and verification of state machine description using automatic test vector generation = 테스트 벡터 자동 생성을 이용한 스테이트 머신 기술의 합성 및 검증link Ahn, Ki-Yong; 안기용; et al, 한국과학기술원, 2002 |
Discover