Overview

Full Product Details

Author:   Marie-Minerve Louërat ,  Torsten Maehne
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   Softcover reprint of the original 1st ed. 2015
Volume:   311
Dimensions:   Width: 15.50cm , Height: 1.80cm , Length: 23.50cm
Weight:   5.153kg
ISBN:  

9783319359137

ISBN 10:   3319359134
Pages:   305
Publication Date:   10 September 2016
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Part I Applications of Formal Methods for Specification and Verification.- Optimal Component Selection for Energy-Efficient Systems.- Assisting Refinement in System-on-Chip Design.- Part II Embedded Analog and Mixed-Signal System Verification.- Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits.- Part III Embedded Analog and Mixed-Signal System Design.- Hybrid Dynamical Systems for Memristor Modelling.- Code Generation Alternatives to Reduce Heterogeneous Embedded Systems Homogeneity.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions