Real-Time Systems: Specification, Verification and Analysis

 
9780134552972: Real-Time Systems: Specification, Verification and Analysis
ISBN 10: 0134552970 ISBN 13: 9780134552972
Casa editrice: Prentice Hall, 1995

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Prentice Hall
Data di pubblicazione
1995
Lingua
Inglese
ISBN 10 
0134552970
ISBN 13 
9780134552972
Rilegatura
Libro di testo
Numero di pagine
278
Redattore
Joseph Mathai
Contatto del produttore
non disponibile
Persona responsabile
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Germania