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
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: 9781558609259TITLE: Modeling Embedded Systems and SoC's : Concurrency and Time in Models of Co…
ISBN: 9781402070259TITLE: Compositional Verification of Concurrent and Real-Time Systems : 676AUTHOR…
ISBN: 9783836494526TITLE: Specification and Seamless Verification of Embedded Real-Time Systems - FO…