Showing results 1 to 5 of 5
A systematic code verification approach for the properties of real-time software model = 실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법link Hong, Gwang-Ui; 홍광의; et al, 한국과학기술원, 2014 |
Hybrid statistical model checking technique for reliable safety critical systems = 신뢰성이 높은 안전필수시스템을 위한 하이브리드 통계적 모델 체킹 방법link Kim, Young-Joo; 김영주; et al, 한국과학기술원, 2013 |
Using model checking to generate data-flow oriented test case from statecharts = 모델 체킹을 이용한 Statecharts로부터의 자료 흐름 지향 테스트 케이스 생성 방법link Yoo, Jee-Eun; 유지은; Kwon, Yong-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증link Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007 |
모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checkerlink 이금자; Lee, Geum-Ja; et al, 한국과학기술원, 2003 |
Discover