Modeling and Verification of Real-time Systems

by: Navet, Nicolas; Merz, Stephan

Paperback: 395 pages

Publisher: Wiley-ISTE( January 01, 2008 )

ISBN-10: 1848210132