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

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

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 :

1570962

Link To Document :