DSpace at KOASAS
Browsing DSpace

Browse by Subject Function Block Diagram

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 6 of 6

1
Automated test sequence generation for FBD programs = FBD 프로그램을 위한 테스트 시퀀스 생성 자동화 연구link

Song, Ji Young; 송지영; et al, 한국과학기술원, 2016

2
Development of a verification method for the FBD-style design specification using ESDT and SMV = ESDT와 SMV를 이용한 FBD-style 설계명세서를 위한 검증 방법 개발link

Song, Myung-Jun; 송명준; et al, 한국과학기술원, 2004

3
FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram

Jee, Eunk Young; Jeon, Seungjae; Cha, Sungdeok; Koh, Kwangyong; Yoo, Junbeom; Park, Geeyong; Seong, Poong-Hyun, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.42, no.3, pp.171 - 188, 2010-08

4
MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기

Lingjun Liu; 지은경; 배두환, 정보처리학회논문지. 소프트웨어 및 데이터 공학, v.10, no.4, pp.115 - 124, 2021

5
Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증link

Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007

6
VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS

Yoo, Junbeom; Cha, Sungdeok; Jee, Eunk Young, NUCLEAR ENGINEERING AND TECHNOLOGY, v.41, no.1, pp.79 - 90, 2009-02

Discover

rss_1.0 rss_2.0 atom_1.0