مرکز منطقه ای اطلاع رساني علوم و فناوري - PZ nets — a formal method integrating Petri nets with Z

Title of article :

PZ nets — a formal method integrating Petri nets with Z

Author/Authors :

Xudong He، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

formal methods , Formal specification and verification , Petri nets and Z

Journal title :

Information and Software Technology

Serial Year :

2001

Journal title :

Information and Software Technology

Record number :

134762

Link To Document :