Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design

BIB
Damm, Werner and Hungar, Hardi and Josko, Bernhard and Peikenkamp, Thomas and Stierand, Ingo and
03 / 2011
inproceedings
SPES 2020
Software Plattform Embedded Systems 2020
CESAR
Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems