Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2016

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Languages, Design Methods, and Tools for Electronic System Design by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319629209
Publisher: Springer International Publishing Publication: November 9, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319629209
Publisher: Springer International Publishing
Publication: November 9, 2017
Imprint: Springer
Language: English

This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany.  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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany.  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.

More books from Springer International Publishing

Cover of the book Disorders of Blood Pressure Regulation by
Cover of the book Synopsis of Pathophysiology in Nuclear Medicine by
Cover of the book Geometrical Multiresolution Adaptive Transforms by
Cover of the book Standard Setting in Education by
Cover of the book Nonlinear Dynamics: Materials, Theory and Experiments by
Cover of the book The Essence and Measurement of Organizational Efficiency by
Cover of the book High Resolution Palaeoclimatic Changes in Selected Sectors of the Indian Himalaya by Using Speleothems by
Cover of the book Technical Analysis for Algorithmic Pattern Recognition by
Cover of the book William Desmond’s Philosophy between Metaphysics, Religion, Ethics, and Aesthetics by
Cover of the book Computer Aided Verification by
Cover of the book Formal Concept Analysis by
Cover of the book The Pillars of Creation by
Cover of the book Putting Tradition into Practice: Heritage, Place and Design by
Cover of the book Biogeochemical Transformations in the Baltic Sea by
Cover of the book Intelligent Systems Design and Applications by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy