Showing results 1 to 3 of 3
A systematic code verification approach for the properties of real-time software model = 실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법link Hong, Gwang-Ui; 홍광의; et al, 한국과학기술원, 2014 |
실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구 홍광의; 서동원; 지은경; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.12, pp.764 - 773, 2013-12 |
타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구 김한석; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.21, no.2, pp.132 - 137, 2015-02 |
Discover