 
Real-Time Systems: Scheduling, Analysis, and Verification
ISBN: 978-0-471-46084-8
Adobe E-Book
March 2003
US $130.50
 Purchase This E-Book
This price is valid for United States. Change location to view local pricing and availability. Other Available Formats: Hardcover
|
"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)
;){kind=link}