Development Methodology of Safety-Critical System Using Formal Method (정형기법을 이용한 Safety-Critical System 개발 방법론)
-
- Proceedings of the Korean Information Science Society Conference
- /
- 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
- /
- pp.486-488
- /
- 2000