(A) formal method for object-oriented real-time software development객체지향 실시간 소프트웨어를 위한 정형적 개발 방법
- Advisors
- Park, Kyu-Horesearcher; 박규호researcher
- Description
- 한국과학기술원 : 전기및전자공학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1998
- Identifier
- 134767/325007 / 000935848
- Language
- eng
- Description
학위논문(박사) - 한국과학기술원 : 전기및전자공학과, 1998.2, [ iv, v, 156 p. ]
- Keywords
Executable specification; Real-time verification; Object oriented software; Formal method; DEVS; DEVS; 실행 가능한 명세; 실시간 시스템 검증; 객체 지향 소프트웨어; 정형적 방법
- Appears in Collection
- EE-Theses_Ph.D.(박사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.