DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Subject Emergent Behavior▼aScenario Specification▼aModel-Checking▼aStatic Verification▼aAsynchronous Communication

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

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0