 Real-Time Systems: Scheduling, Analysis, and Verification
ISBN: 978-0-471-18406-5
Hardcover
552 pages
August 2002
US $130.50
 Add to Cart
This price is valid for United States. Change location to view local pricing and availability. Other Available Formats: Adobe E-Book
|
An online version of this product is available through our subscription-based content service. Visit Wiley InterScience now |
"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)
