Publication | Closed Access
Tolerance synthesis: quantifier notion and virtual boundary
68
Citations
21
References
2004
Year
Computational LogicEngineeringAutomated ReasoningTolerance SynthesisFormal MethodsComputer ScienceHigher-order LogicFormal VerificationLogical Formalism
| Year | Citations | |
|---|---|---|
Page 1
Page 1