AJOU Central Library Repository: Browsing DSpace

AJOU Central Library Repository

All 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

가 나 다 라 마 바 사 아 자 차 카 타 파 하

Showing results 1 to 2 of 2

Issue Date	Title	Author(s)
2014-02	SMT Solve를 이용한 Simulink Stateflow Model의 Test Case 생성	서성민
2015-08	분할에 의한 Simulink/Stateflow 모델 기반 테스트 케이스 생성	김정우

STATISTICS: Total Visit :3,731,705; Total Download :1,818; Today View :9,363

AJOU Central Library Repository는 국립중앙도서관 OAK 보급사업으로 구축되었습니다.