Real-Time Systems: Scheduling, Analysis, and VerificationISBN: 978-0-471-18406-5
Hardcover
552 pages
August 2002
 This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 10-15 days delivery time. The book is not returnable.
|
||||||
"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)
Related Titles
General Systems Engineering & Management
Read Online Now at Wiley Online Library
An online version of this product is available through our
subscription-based content service.
Read Online
Read an Excerpt
.png){kind=small}
Join An E-mail ListLearn about the latest products, events, offers and content. |
