DSpace at KOASAS
Browsing DSpace

Browse by Subject 추상 도달가능성 그래프

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 1 of 1

1
추상 도달가능성 그래프 기반 소프트웨어 모델체킹에서의 탐색전략 고려방법

이낙원; 백종문, 정보과학회논문지, v.44, no.10, pp.1034 - 1044, 2017-10

Discover

rss_1.0 rss_2.0 atom_1.0