Real-Time Systems: Specification, Verification and Analysis (Prentice-hall International Series in Computer Science)

ISBN 10: 0134552970 ISBN 13: 9780134552972

Verlag: Prentice-Hall, 1996

Inhaltsangabe

This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text. Coverage includes advanced scheduling theory, as well as new specification and verification methods, linked together by consideration of a common, non-trivial example. All chapters contains exercises in the general text as well as graded exercises at the end.

Details zur Ausgabe

• Verlag: Prentice-Hall
• Erscheinungsdatum: 1996
• Sprache: Englisch
• ISBN 10: 0134552970
• ISBN 13: 9780134552972
• Einband: Lehrbuch
• Anzahl der Seiten: 278
• Herausgeber: Joseph Mathai
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Yeepin GmbH; 492000000000; sunshine12232@outlook.com; ; Alleestr.11; Kaiserslautern; Rheinland-Pfalz; 67655; Deutschland