DSpace at KOASAS
Browsing DSpace

Browse by Subject 돌발 행위▼a시나리오 명세▼a모델 체크▼a정적 분석▼a비동기 통신

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
Efficient verification method to eliminate emergent behaviors of the scenario specifications = 시나리오 명세서에 존재하는 돌발 행위 제거를 위한 효율적인 검증 방법link

Song, Ingwon; 송인권; et al, 한국과학기술원, 2017

Discover

rss_1.0 rss_2.0 atom_1.0