Product Description
ISBN: 9783836494526
TITLE: Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle
AUTHOR: Maria Spichkova
PUBLISHER: VDM Verlag Dr. Mueller E.K.
PUBLISHER DATE: 17 Apr 2008
ISBN: 9783836494526
TITLE: Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle
AUTHOR: Maria Spichkova
PUBLISHER: VDM Verlag Dr. Mueller E.K.
PUBLISHER DATE: 17 Apr 2008
Popular Trending Products
ISBN: 9783540549475TITLE: Specification and Compositional Verification of Real-Time Systems : 558AUT…
ISBN: 9781586034139TITLE: Specification, Modelling, Verification and Runtime Analysis of Real Time S…
ISBN: 9781461352631TITLE: Specification and Design Methodology for Real-Time Embedded SystemsAUTHOR:…
ISBN: 9781461369981TITLE: Modeling, Verification and Exploration of Task-Level Concurrency in Real-T…
ISBN: 9780521883337TITLE: Real-Time Systems : Formal Specification and Automatic VerificationAUTHOR:…