Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016

Automatic Methods for the Refinement of System Models From the Specification to the Implementation

Advances in Human Factors and System Interactions Proceedings of the AHFE 2016 International Conference on Human Factors and System Interactions, July 27-31, 2016, Walt Disney World®, Florida, USA

Advances in Human Factors and Systems Interaction Proceedings of the AHFE 2017 International Conference on Human Factors and Systems Interaction, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Handbook of Hardware/Software Codesign

Designing with Xilinx® FPGAs Using Vivado

Symbolic Parallelization of Nested Loop Programs

Formal System Verification State-of the-Art and Future Trends

Contactless VLSI Measurement and Testing Techniques

Foundations of Hardware IP Protection

Machine Learning for Model Order Reduction

Embedded Software Verification and Debugging