مرکز منطقه ای اطلاع رساني علوم و فناوري - PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299

Title of article :

PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299–310]

Author/Authors :

A.K. Bhattacharjee، نويسنده , , S.D Dhodapkar، نويسنده , , R.K. Shyamasundar، نويسنده ,

Issue Information :

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

Pages :

From page :

223

To page :

223

Journal title :

Reliability Engineering and System Safety

Serial Year :

2001

Journal title :

Reliability Engineering and System Safety

Record number :

1186876

Link To Document :