Title of article
Validation-directed specification of communications systems
Author/Authors
Robert Probert، نويسنده , , Kassem Saleh، نويسنده , , Hua-Long Yu، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 1995
Pages
8
From page
403
To page
410
Keywords
communications systems , relative clock time , relative concurrency. validation-directed specifications
Journal title
Information and Software Technology
Serial Year
1995
Journal title
Information and Software Technology
Record number
134332
Link To Document