مرکز منطقه ای اطلاع رساني علوم و فناوري - A methodology of testing high-level Petri nets

Title of article :

A methodology of testing high-level Petri nets

Author/Authors :

Hong Zhu، نويسنده , , Xudong He، نويسنده ,

Issue Information :

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

Pages :

From page :

473

To page :

489

Keywords :

concurrent systems , High-level Petri nets , Test criteria , Behaviour observation , Software testing methods

Journal title :

Information and Software Technology

Serial Year :

2002

Journal title :

Information and Software Technology

Record number :

134887

Link To Document :