학위논문(박사) - 한국과학기술원 : 전산학부, 2017.8,[v, 91 p. :]
Emergent Behavior▼aScenario Specification▼aModel-Checking▼aStatic Verification▼aAsynchronous Communication; 돌발 행위▼a시나리오 명세▼a모델 체크▼a정적 분석▼a비동기 통신
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.