Product Description
ISBN: 9781461369981
TITLE: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
AUTHOR: Filip Thoen
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 13 Oct 2012
AED
AED
ISBN: 9781461369981
TITLE: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
AUTHOR: Filip Thoen
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 13 Oct 2012
Popular Trending Products
ISBN: 9780792377375TITLE: Modeling, Verification and Exploration of Task-Level Concurrency in Real-T…
ISBN: 9781461353492TITLE: Compositional Verification of Concurrent and Real-Time Systems : 676AUTHOR…
ISBN: 9781402070259TITLE: Compositional Verification of Concurrent and Real-Time Systems : 676AUTHOR…
ISBN: 9781558609259TITLE: Modeling Embedded Systems and SoC's : Concurrency and Time in Models of Co…
ISBN: 9781243744852TITLE: Scheduling Real-Time Tasks on Battery-Operated Embedded SystemsAUTHOR: Jia…