Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems ebook

$23.00