Real-time systems : scheduling, analysis, and verification /

Bibliographic Details
Main Author: Cheng, Albert M. K.
Format: Book
Language:English
Published: Hoboken, NJ : Wiley-Interscience, 2002.
Subjects:
Description
Physical Description:xxiii, 524 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 467-503) and index.
ISBN:0471184063