Embedded System Design

Power-efficient System Design

All-Embracing Manufacturing Roadmap System

Processor and System-on-Chip Simulation

System Design Optimization for Product Manufacturing

Writing Testbenches using System Verilog

Embedded System Design Modeling, Synthesis and Verification

Computer-aided Nonlinear Control System Design Using Describing Function Models

High-Level Verification Methods and Tools for Verification of System-Level Designs

Solid Modelling and CAD Systems How to Survive a CAD System

Multiprocessor System-on-Chip Hardware Design and Tool Integration

ESL Models and their Application Electronic System Level Design and Verification in Practice

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies

Introduction to Embedded System Design Using Field Programmable Gate Arrays

Model Predictive Control System Design and Implementation Using MATLAB®

System Verilog for Verification A Guide to Learning the Testbench Language Features

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation

System-Level Design Techniques for Energy-Efficient Embedded Systems

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Integrated Computer-Aided Design in Automotive Development Development Processes, Geometric Fundamentals, Methods of CAD, Knowledge-Based Engineering Data Management

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

Reliability of Nanoscale Circuits and Systems Methodologies and Circuit Architectures

Simulation Methods for Reliability and Availability of Complex Systems

Fault Location on Power Networks

Instandhaltung technischer Systeme Methoden und Werkzeuge zur Gewährleistung eines sicheren und wirtschaftlichen Anlagenbetriebs

Design and Verification of Microprocessor Systems for High-Assurance Applications

E-maintenance

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings

The Maintenance Management Framework Models and Methods for Complex Systems Maintenance

The Universal Generating Function in Reliability Analysis and Optimization

Embedded Systems - qualitätsorientierte Entwicklung

Functional Verification of Programmable Embedded Architectures A Top-Down Approach