Safety-critical Software Requirements Checking Using PVS.

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 365
  • Download : 0
Issue Date
1997
Language
KOR
Citation

한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598

URI
http://hdl.handle.net/10203/120869
Appears in Collection
RIMS Conference Papers
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0