Publication | Closed Access
Detecting unreliable computer simulations of recursive functions with interval extensions
29
Citations
28
References
2018
Year
Simulation MethodologyEngineeringValidated NumericsProgram AnalysisVerificationInterval AnalysisFormal MethodsSoftware AnalysisComputer EngineeringComputational ComplexitySimulationInterval ComputationComputer ScienceInterval ExtensionsApproximation TheoryRecursive Function
| Year | Citations | |
|---|---|---|
Page 1
Page 1