Choh-Man Teng is an author at Brown University specializing in engineering, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringMathematical Programming
Publications per year
1992–2001
3
3
Choh-Man Teng · 1999 · 124 citations
A Comparison of Noise Handling Techniques
Choh-Man Teng · 2001 · 55 citations
Rows per page
1–3 of 3