Concepedia

Dorothea M. Bohling

DM

1

Publications

14

Citations

1

H-Index

1970

Active since

Affiliations

TCL (China)(Current)

Dorothea M. Bohling is an author at TCL (China) specializing in formal methods, formal verification, and simulation.

Top concepts

SimulationEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSignal ProcessingSoftware AnalysisFormal Verification

Publications per year

1970–1970

1

Publications

1

An Interactive Computer Approach to Tolerance Analysis

Dorothea M. Bohling, Lawrence A. O'Neill · IEEE Transactions on Computers · 1970 · 14 citations

Interactive Computer Approach, Engineering, Interactive Technique +23

Rows per page

1–1 of 1