مرکز منطقه ای اطلاع رساني علوم و فناوري - Real-time systems: specification, verification and analysis : edited by M. JOSEPH. Prentice Hall International Series in Computer Science; Prentice Hall; London, UK; 1996; xiv + 278 pp.; $60; ISBN: 0-13-455297-0

Title of article :

Real-time systems: specification, verification and analysis : edited by M. JOSEPH. Prentice Hall International Series in Computer Science; Prentice Hall; London, UK; 1996; xiv + 278 pp.; $60; ISBN: 0-13-455297-0

Author/Authors :

Janusz Zalewski، نويسنده ,

Issue Information :

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

Pages :

From page :

887

To page :

889

Journal title :

Electric Power Systems Research

Serial Year :

1996

Journal title :

Electric Power Systems Research

Record number :

372064

Link To Document :

https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=372064