Design Automation of Cyber-Physical Systems

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Design Automation of Cyber-Physical Systems 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: 9783030130503
Publisher: Springer International Publishing Publication: June 7, 2019
Imprint: Springer Language: English
Author:
ISBN: 9783030130503
Publisher: Springer International Publishing
Publication: June 7, 2019
Imprint: Springer
Language: English

This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies. Coverage includes a survey of the various existing cyber-physical systems functional design methodologies and related tools will provide the reader unique insights into the conceptual design of cyber-physical systems.

        

            

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

This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies. Coverage includes a survey of the various existing cyber-physical systems functional design methodologies and related tools will provide the reader unique insights into the conceptual design of cyber-physical systems.

        

            

More books from Springer International Publishing

Cover of the book Acoustic Cavitation and Bubble Dynamics by
Cover of the book Spatial Network Data by
Cover of the book Gastrointestinal Motility Disorders by
Cover of the book Laser Forming and Welding Processes by
Cover of the book PET/CT in Thyroid Cancer by
Cover of the book Elliptic–Hyperbolic Partial Differential Equations by
Cover of the book Analytical Family Demography by
Cover of the book Financial Sustainability of Public Sector Entities by
Cover of the book Chemical Reactor Modeling by
Cover of the book Human Agency and Behavioral Economics by
Cover of the book The Global Debt Crisis and Its Socioeconomic Implications by
Cover of the book Disequilibrium Economics by
Cover of the book Interdisciplinary Concepts in Cardiovascular Health by
Cover of the book Mycoremediation and Environmental Sustainability by
Cover of the book Genetic Neuromuscular Disorders 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