From Specification to Embedded Systems Application

Self-Organization in Embedded Real-Time Systems

This book describes the emerging field of self-organizing, multicore, distributed and real-tim...

New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design

'New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design' contains the p...

Embedded Systems: Design, Analysis and Verification

InhaltsangabeDesign methodologies.- Non-functional aspects of embedded systems.- Verification.- P...

Embedded Systems: Design, Analysis and Verification

This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Syste...

Self-Organization in Embedded Real-Time Systems

This book describes the emerging field of self-organizing, multicore, distributed and real-time e...

Self-Organization in Embedded Real-Time Systems

This book describes the emerging field of self-organizing, multicore, distributed and real-time e...

Analysis, Architectures and Modelling of Embedded Systems

This book presents the technical program of the International Embedded Systems Symposium (IESS) 2...

From Specification to Embedded Systems Application

As almost no other technology, embedded systems is an essential element of many innovations in au...

Embedded System Design

InhaltsangabeValidation and Verification.- Requirements and Concepts for Transaction Level Assert...

Embedded System Design: Topics, Techniques and Trends

This volume presents the technical program of the 2007 International Embedded Systems Symposium h...

New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design

'New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design' contains the p...