Albert M. K. Cheng

eBook, PDF

Real-Time Systems (eBook, PDF)

Scheduling, Analysis, and Verification

Beschreibung

The first book to provide a comprehensive overview of the subject rather than a collection of papers. * The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences. * A handy reference for practitioners in the field.

Technische Details

• Geräte: PC
• mit Kopierschutz
• Größe: 2.62MB

Barrierefreiheit

• Text-to-Speech

Autor

ALBERT M. K. CHENG, PhD, received his doctorate in computer science from the University of Texas at Austin, where he held a GTE Foundation Doctoral Fellowship. He is currently an associate professor in the department of computer science at the University of Houston, where he is the founding director of the Real-Time Systems Laboratory. He is the author and coauthor of over sixty refereed publications, and has received numerous awards, including the NSF Career award. He has served as a technical consultant for several organizations, including IBM, and has served on the program committees of many conferences.

Produktdetails

• Verlag: John Wiley & Sons
• Seitenzahl: 552
• Erscheinungstermin: 13. März 2003
• Englisch
• ISBN-13: 9780471460848
• Artikelnr.: 37301989

Rezensionen

"The author provides a substantial, up-to-date overview of the verification and validation process..." (Computer Magazine, November 2004) "The unifying discussion on the formal analysis and verification methods are especially valuable and enlightening, both for graduate students and researchers." (International Journal of General Systems, December 2003)