Prentice-Hall International Series in Computer Science
Editor:
Mathai Joseph
Size
Length:
278 pages
Height:
9.5 in
Width:
7.0 in
Thickness:
0.8 in
Weight:
15.2 oz
Publisher's Note Real-time Systems: Specification, Verification and Analysis provides a detailed account of three major aspects of real-time systems: program structures for real-time, timing analysis using scheduling theory, and specification and verification in different formal frameworks.