Projektresultate MQ2: Validierung und Verifikation

Schlingloff, H., et al.: Requirements on Cross-Domain Methods for Verification and Validation, Request Document

Albers, K., et al.: Verification methods for open systems and system networks, Request Document

Reiner, J., et al.: Methods for Testing of Collaborative Embedded Systems Request Document

Wefers, J., et al.: Implementation of Methods for Testing of Collaborative Embedded Systems Request Document

Schlingloff, H., et al.: Conception of Methods for Runtime Verification Request Document