مرکز منطقه ای اطلاع رساني علوم و فناوري - Reply to “Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application”

Title of article :

Reply to “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 :

Son، نويسنده , , Han Seong and Seong، نويسنده , , Poong Hyun، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2004

Pages :

From page :

123

To page :

123

Journal title :

Reliability Engineering and System Safety

Serial Year :

2004

Journal title :

Reliability Engineering and System Safety

Record number :

1571339

Link To Document :

https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1571339