Title of article

Using Z to specify telephone features

Author/Authors

Peter Mataga، نويسنده , , Pamela Zave، نويسنده ,

Issue Information

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

Pages

7

From page

277

To page

283

Keywords

formal specification. Z notation. telephony. feature interaction

Journal title

Information and Software Technology

Serial Year

1995

Journal title

Information and Software Technology

Record number

134321