ajitha rajan
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
Sofort lieferbarThe book summarizes the findings and contributions of the European ARTEMIS project, CESAR, for im...
Software Engineering and Formal Methods
VorbestellbarThis volume constitutes the papers presented at the 24th International Conference on Software Eng...
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
Print on DemandThe book summarizes the findings and contributions of the European ARTEMIS project, CESAR, for im...
- 1