학위논문(박사) - 한국과학기술원 : 전기및전자공학과, 1998.2, [ iv, v, 156 p. ]
Executable specification; Real-time verification; Object oriented software; Formal method; DEVS; DEVS; 실행 가능한 명세; 실시간 시스템 검증; 객체 지향 소프트웨어; 정형적 방법
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.