지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
1. 서론
2. 본론
3. 결론
참고 문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형 검증 기법
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2009 .03
함수 블록 다이어그램으로 명세된 PLC 프로그램에 대한 구조적 테스팅 기법
정보과학회논문지 : 소프트웨어 및 응용
2008 .03
VIS 검증기를 이용한 FBD 명세의 정형검증
한국정보과학회 학술발표논문집
2005 .07
FBD 모델 대상 뮤테이션 연산자 정의 및 사례연구
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2013 .01
LD 프로그램의 모델 체킹을 위한 자동변환
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2010 .02
FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용
정보과학회 컴퓨팅의 실제 논문지
2018 .11
FBD 프로그램에 대한 자동화된 테스트 커버리지 평가
한국정보과학회 학술발표논문집
2009 .11
FBD 모델 대상 뮤테이션 연산자 정의
한국정보과학회 학술발표논문집
2012 .06
FBD 프로그램 대상 뮤테이션 기반 오류 위치 추정 기법의 활용 가능성 분석
한국정보과학회 학술발표논문집
2015 .06
FBD 프로그램 대상 뮤테이션 충분성 만족 테스트 데이터 생성 기법
한국정보과학회 학술발표논문집
2018 .06
NuSCR 정형 요구사항 명세로부터 FBD 프로그램 자동생성을 위한 CASE 도구
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2009 .04
시뮬레이션 기반의 PLC Program 검증
한국정밀공학회 학술발표대회 논문집
2009 .06
FBD 프로그램 대상 구조적 커버리지를 만족시키는 테스트 시퀀스 생성 알고리즘
한국정보과학회 학술발표논문집
2015 .06
산업자동화 프로그램의 연역 검증을 위한 변환
정보과학회논문지 : 소프트웨어 및 응용
2011 .07
함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형검증
한국정보과학회 학술발표논문집
2008 .06
FBDtoVHDL: An Automatic Translation from FBD into VHDL for FPGA Development
Journal of KIISE
2016 .05
증명보조기 Coq을 이용한 래더 다이어그램 의미구조의 정형화
정보과학회논문지 : 소프트웨어 및 응용
2010 .01
정형기법을 이용한 PLC RTOS 검증
대한전기학회 학술대회 논문집
2005 .07
I/O 모델을 이용한 래더 다이어그램 코드 생성방법
한국CDE학회 학술발표회 논문집
2012 .02
마이크로프로세서 FBD 시각화
한국정보과학회 학술발표논문집
1999 .10
0