Formal Methods for Safety Critical System-Case studies on Nuclear System and Train Control system (안전 필수 시스템의 정형기법 적용 - 원자력 시스템과 철도 제어 시스템 사례연구)
-
- Communications of the Korean Institute of Information Scientists and Engineers
- /
- v.31 no.5
- /
- pp.46-55
- /
- 2013