Concepedia

Walter Hartong

WH

Statistics

Publications

1

Citations

68

H-Index

1

Active since

2002

Walter Hartong is an author specializing in computer engineering, automated reasoning, and analog system engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSignal ProcessingAnalog VerificationAutomated ReasoningFormal VerificationSystems EngineeringComputer Engineering

Publications per year

2002–2002

1

Publications

1

Model checking algorithms for analog verification

Walter Hartong, Lars Hedrich, Erich Barke · Proceedings - ACM IEEE Design Automation Conference · 2002 · 68 citations

Engineering, Analog Design, Verification +16

1–1 of 1