PVS를 이용한 소프트웨어 요구명세 일관성 검사의 자동화 Automatic Consistency Checking Software Requirements Specifications using PVS

Publisher
한국정보과학회
Issue Date
1998-08
Language
KOR
Citation

정보과학회논문지, v.4, no.4, pp.542 - 553

ISSN
1738-5385
URI
http://hdl.handle.net/10203/71534
Appears in Collection
NE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
  • Hit : 101
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0