학위논문(박사) - 한국과학기술원 : 전기및전자공학전공, 2005.2, [ vii, 90 p. ]
DEVSpecL; Timed State Reachability Graph; System Morphism; Model Verification; Discrete Event System; Weak Synchronization; 약한 동기화v 동기화 가능성; DEVSpecL; 시간상태도달 그래프; 시스템 사상성; 모델검증; 이산사건시스템; Synchronization Feasibility
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.