Real-Time Systems Specification Verification and Analysis

Joseph Mathai Editing

ISBN 10: 0134552970 / ISBN 13: 9780134552972

Editore: Prentice-Hall, London, 1996

Riguardo questo articolo

Clean bright copy. Codice articolo 328943

Dati bibliografici

Titolo: Real-Time Systems Specification Verification...

Casa editrice: Prentice-Hall, London

Data di pubblicazione: 1996

Legatura: Soft Cover

Condizione: Very Good

Condizione sovraccoperta: No Jacket

Edizione: First Edition.

Tipologia articolo: 328943

Descrizione articolo

Riassunto:

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.

Product Description:

Book by None