Showing results 1 to 5 of 5
Automated test sequence generation for FBD programs = FBD 프로그램을 위한 테스트 시퀀스 생성 자동화 연구link Song, Ji Young; 송지영; et al, 한국과학기술원, 2016 |
Empirical evaluation on FBD model-based test coverage criteria using mutation analysis = 뮤테이션 분석을 이용한 FBD 모델 기반 테스트 범위 기준의 실험적 평가link Shin, Dong-Hwan; 신동환; et al, 한국과학기술원, 2012 |
FBD 및 LD로 구현된 PLC 프로그램의 Verilog 변환을 통한 정형검증 = Formal verification of PLC programs in FBD and LD via verilog translationlink 김병완; Kim, Byong-Wan; et al, 한국과학기술원, 2009 |
Safety analysis of function block diagrams using fault trees = Fault tree 기법을 이용한 function block diagram 의 안전성 분석link Oh, You-Ju; 오윤주; et al, 한국과학기술원, 2004 |
Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증link Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007 |
Discover