Showing results 1 to 4 of 4
(An) approach to defining and verifying modules for Statecharts = Statecharts 모듈 정의 및 검증link Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2000 |
Path abstraction based counterexample checker for abstract model checking = 추상화 기반의 모델체킹을 위한 Path Abstraction 기반의 반례 검사 기법link Lee, Nak Won; 이낙원; et al, 한국과학기술원, 2015 |
SPIN++를 이용한 병렬 객체 모델의 검증 = Concurrent object model verification using SPIN++link 조웅희; Cho, Woong-Hee; et al, 한국과학기술원, 1999 |
Stepwise verification of statecharts specification using state abstraction = 상태 추상화를 통한 Statecharts 요구명세의 단계적 검증link Oh, Seung-Uk; 오승욱; et al, 한국과학기술원, 1998 |
Discover