Title of article :
Testing a system specified using Statecharts and Z
Author/Authors :
R. M. Hierons، نويسنده , , S. Sadeghipour، نويسنده , , H. Singh، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2001
Keywords :
Statechart , Extended ®nite state machine , Data Abstraction , Z , testing
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
