Concepedia

M. Lobachev

ML

2

Publications

41

Citations

2

H-Index

2002

Active since

Affiliations

Odessa National Polytechnic University(Current)

M. Lobachev is an author at Odessa National Polytechnic University specializing in hardware security, computer engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisBuilt-in Self-testDesign For Testing

Publications per year

2002–2006

2

Publications

2

The Problem of On-Line Testing Methods In Approximate Data Processing

M. Lobachev, Julia Drozd · 2006 · 23 citations

Mathematical Programming, Engineering, Verification +26

Efficient on-line testing method for a floating-point adder

M. Lobachev · Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001 · 2002 · 18 citations

Floating-point Adder, Engineering, Hardware Verification Language +18

Rows per page

1–2 of 2