PVS를 이용한 소프트웨어 요구명세 일관성 검사의 자동화Automatic Consistency Checking Software Requirements Specifications using PVS
- Publisher
- 한국정보과학회
- Issue Date
- 1998-08
- Language
- Korean
- Citation
정보과학회논문지(C), v.4, no.4, pp.542 - 553
- ISSN
- 1226-2293
- Appears in Collection
- 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.