Louërat / Maehne | Languages, Design Methods, and Tools for Electronic System Design | E-Book | www.sack.de
E-Book

E-Book, Englisch, 305 Seiten

Reihe: Engineering

Louërat / Maehne Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2013
1. Auflage 2014
ISBN: 978-3-319-06317-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Selected Contributions from FDL 2013

E-Book, Englisch, 305 Seiten

Reihe: Engineering

ISBN: 978-3-319-06317-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems and mixed-technology systems.

Louërat / Maehne Languages, Design Methods, and Tools for Electronic System Design jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Louërat, Marie-Minerve
Maehne, Torsten

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.