기업회원 전문가회원 학생회원
 
 
 
 
> 논문 및 특허 > 논문
858 건의 글이  등록되어 있습니다.
번호 구분 개재년도 논문명 주저자 첨부
788 국내논문 2009 MAPPING TABLE을 이용한 금융 PRODUCT FACTORY 분.. 박진희, 유준범, 차성덕
787 국내논문 2008 원자력발전소 디지털 제어기기를 위한 정형기법 .. 유준범
786 국내논문 2008 VIS 정형 검증 자동화를 위한 소프트웨어 VIS Ana.. 정세훈, 유준범, 차성덕
785 국내논문 2008 NuSCR 정형 요구사항명세로부터 FBD 프로그램 자.. 백형부, 유준범, 차성덕
784 국외논문 2009 NuSCR 정형 요구사항명세로부터 FBD 프로그램 자.. 백형부, 유준범, 차성덕
783 국외논문 2009 Exploring the Design Space for Network Protoco.. Hyun-Wook Jin and Junbeom Yoo
782 국외논문 2008 A Verification Framework for FBD based Softwar.. Junbeom Yoo, Sungdeok Cha, and Eunkyoung Jee
781 국외 학술대회 논문 2009 A Data Flow-based Structural Testing Technique.. Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha, and Doohwan Bae
780 국외 학술대회 논문 2009 Formal Modeling and Verification of Safety-Cri.. Junbeom Yoo, Eunkyoung Jee, Sungdeok (Steve) Cha
779 국외 학술대회 논문 2009 Verification of PLC programs written in FBD wi.. Junbeom Yoo, Sungdeok Cha, and Eunkyoung Jee
1 2 3 4 5 6 7 8 9 10