• Title of article

    Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

  • Author/Authors

    Kim، نويسنده , , Taeho and Cha، نويسنده , , Sungdeok، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2004
  • Pages
    2
  • From page
    121
  • To page
    122
  • Journal title
    Reliability Engineering and System Safety
  • Serial Year
    2004
  • Journal title
    Reliability Engineering and System Safety
  • Record number

    1571338

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1571338