EAN: 9783030130497

DESIGN AUTOMATION OF CYBER-PHYSICAL SYSTEMS GEB...

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.

Aktuelle Preise zur EAN 9783030130497

Produktinformationen zur 9783030130497