مرکز منطقه ای اطلاع رساني علوم و فناوري - Submodule construction from concurrent system specifications

Title of article :

Submodule construction from concurrent system specifications

Author/Authors :

E. Haghverdi، نويسنده , , H. Ural، نويسنده ,

Issue Information :

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

Pages :

From page :

499

To page :

506

Keywords :

Concurrent Systems , Stepwise refinement , Submodule construction problem

Journal title :

Information and Software Technology

Serial Year :

1999

Journal title :

Information and Software Technology

Record number :

134626

Link To Document :