مرکز منطقه ای اطلاع رساني علوم و فناوري - Towards the automatic generation of quality-of-service-preserving implementations from formal specifications

Title of article :

Towards the automatic generation of quality-of-service-preserving implementations from formal specifications

Author/Authors :

Stefan Fischer، نويسنده ,

Issue Information :

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

Pages :

From page :

211

To page :

223

Keywords :

Formal description techniques (FDTs) , FDT compilers , Automatic code generation , Multimedia systems , Quality of service

Journal title :

Computer Communications

Serial Year :

1999

Journal title :

Computer Communications

Record number :

308950

Link To Document :