Publication | Closed Access
On practical problems with verification and validation of computational models
15
Citations
16
References
2009
Year
Mathematical ProgrammingEngineeringAutomated ReasoningMechanical VerificationVerificationFormal MethodsCode ValidationComputational ComplexityComputer ScienceModel CheckingModel VerificationFormal VerificationPractical ProblemsModel Analysis
| Year | Citations | |
|---|---|---|
Page 1
Page 1