Introduction to the Formal Design of Real-Time Systems
Publisher: Springer
Published: Oct 04, 2011
Format: paperback
Number of pages: 478
ISBN-13: 9781447108900