Title of article
Communicating X-machines: a practical approach for formal and modular specification of large systems
Author/Authors
Petros Kefalas، نويسنده , , George Eleftherakis، نويسنده , , Evangelos Kehris، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2002
Pages
12
From page
269
To page
280
Keywords
X-machines , formal methods , Communicating X-machines
Journal title
Information and Software Technology
Serial Year
2002
Journal title
Information and Software Technology
Record number
134944
Link To Document