Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
by Filip Thoen
2000438 pages
Springer US·
by Filip Thoen
No users with this book on their shelves. Maybe you could be the first.
No reviews yet. Add your review.
No lists containing this book.
The Amazon links are affiliate links
Springer US
Springer US
[electronic resource] /
ISBN 10: 1461369983
ISBN 13: 9781461369981