Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Publisher: Springer
Published: Sep 30, 2011
Format: paperback
Number of pages: 458
ISBN-13: 9781461544388