Title of article

COMX: a design methodology using communicating X-machines

Author/Authors

Judith Barnard، نويسنده ,

Issue Information

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

Pages

10

From page

271

To page

280

Keywords

Formal specification , Verification , COMX , Communicating X-machine

Journal title

Information and Software Technology

Serial Year

1998

Journal title

Information and Software Technology

Record number

134543