scientific article; zbMATH DE number 3930309

MaRDI QIDQ3703264zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

GMDProceedingsSymposiumsoftware validationDarmstadt/Germanysoftware quality assuranceSoftware validation

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• scientific article; zbMATH DE number 994144
• scientific article; zbMATH DE number 1737294
• Software Quality Approaches: Testing, Verification, and Validation
• Software Verification and Analysis
• scientific article; zbMATH DE number 480221

Cited in

(3)

• scientific article; zbMATH DE number 480221 (Why is no real title available?)
• scientific article; zbMATH DE number 2086582 (Why is no real title available?)
• An efficient algorithm for combining verification and validation methods

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3703264)