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

Title of article :

Verifying scenarios with time Petri-nets

Author/Authors :

Jonathan Lee، نويسنده , , Jiann-I Pan، نويسنده , , Jong-Yih Kuo، نويسنده ,

Issue Information :

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

Pages :

From page :

769

To page :

781

Keywords :

scenarios , Time Petri-nets , Requirements engineering , Verification , Use case

Journal title :

Information and Software Technology

Serial Year :

2001

Journal title :

Information and Software Technology

Record number :

134825

Link To Document :