CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems

This book summarizes findings and contributions of the European ARTEMIS project, CESAR, for improvin...