Model verification in dynamics through strict upper error bounds - Concepedia

Concepedia

Publication | Open Access

Model verification in dynamics through strict upper error bounds

DOI Full Paper Access

16

Citations

14

References

2009

Year

Pierre Ladevèze, Julien Waeytens

Computer Methods in Applied Mechanics and Engineering

EngineeringVerificationFormal MethodsCode ValidationModel CheckingModel VerificationFormal Verification

References

	Year	Citations

Page 1