Computer software - Validation.
Overview
Works: | 6 works in 4 publications in 4 languages |
---|
Titles
Verification and validation in systems engineering = assessing UML/SysML design models /
by:
(Language materials, printed)
Automated validation & verification of UML/OCL models using satisfiability solvers
by:
(Electronic resources)
Subjects