A Verification of Requirements Specifications for Safety-critical System.
- Issue Date
- 1996
- Language
- KOR
- Citation
한국정보과학회 춘계학술대회 발표논문집, pp.697 - 700
- Appears in Collection
- RIMS Conference Papers
- 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.