Modal μ-calculus를 사용한 실시간 시스템 검증에 관한 연구
- Abstract
- .
- Issued Date
- 1999
- Awarded Date
- 1999. 2
- Type
- Dissertation
- Publisher
- 釜慶大學校 大學院
- Files in This Item:
-
-
There are no files associated with this item.
-
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.