مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Petri nets for protocol engineering

Author/Authors :

To-yat Cheung، نويسنده ,

Issue Information :

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

Pages :

From page :

1250

To page :

1257

Keywords :

Protocol , synthesis , Testing , reachability , Verification , Formal Description Technique , Petri net , Invariant , Specification

Journal title :

Computer Communications

Serial Year :

1996

Journal title :

Computer Communications

Record number :

308651

Link To Document :