Real-Time Systems
Scheduling, Analysis, and Verification
Buch in deiner Nähe kaufen
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.
Autor*in
Albert M. K. Cheng
Themen in »Real-Time Systems«
Computer Hardware Computer Science Echtzeitsystem Electrical & Electronics Engineering Elektrotechnik u. Elektronik Hardware Informatik Intelligent Systems & Agents Intelligente Systeme u. Agenten Systems Engineering & Management Systemtechnik u. -management
Stimmen zu »Real-Time Systems«
"The author provides a substantial, up-to-date overview of theverification and validation process..." (ComputerMagazine, November 2004)
"The unifying discussion on the formal analysis and verificationmethods are especially valuable and enlightening, both for graduatestudents and researchers." (International Journal of GeneralSystems, December 2003)
()