مرکز منطقه ای اطلاع رساني علوم و فناوري - Communicating X-machines: a practical approach for formal and modular specification of large systems

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 :

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 :