مرکز منطقه ای اطلاع رساني علوم و فناوري - 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 :

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 :

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

Issue Information :

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

Pages :

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 :

1187214

Link To Document :

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