مرکز منطقه ای اطلاع رساني علوم و فناوري - A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems

Title of article :

A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems

Author/Authors :

Marco Bernardo، نويسنده , , Lorenzo Donatiello، نويسنده , , Roberto Gorrieri، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1998

Pages :

From page :

To page :

154

Journal title :

Information and Computation

Serial Year :

1998

Journal title :

Information and Computation

Record number :

261787

Link To Document :