Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2014

Nonfiction, Science & Nature, Technology, Electronics, Circuits
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: 9783319244570
Publisher: Springer International Publishing Publication: December 11, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319244570
Publisher: Springer International Publishing
Publication: December 11, 2015
Imprint: Springer
Language: English

This book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, 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 seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, 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 Web Reasoning and Rule Systems by
Cover of the book Database Systems for Advanced Applications by
Cover of the book Web-Age Information Management by
Cover of the book ROBOT 2017: Third Iberian Robotics Conference by
Cover of the book Humanitarian Logistics and Sustainability by
Cover of the book James Edward Meade by
Cover of the book Handbook of DSM-5 Disorders in Children and Adolescents by
Cover of the book More than Beef, Pork and Chicken – The Production, Processing, and Quality Traits of Other Sources of Meat for Human Diet by
Cover of the book Citizen Activism and Mediterranean Identity by
Cover of the book Augmented Reality, Virtual Reality, and Computer Graphics by
Cover of the book Device-to-Device Communications in Cellular Networks by
Cover of the book Global Governance of Intellectual Property in the 21st Century by
Cover of the book Metal Allergy by
Cover of the book Big Data-Enabled Nursing by
Cover of the book Magnetic Resonance Spectroscopy of Degenerative Brain Diseases 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