Concepedia

Levendel

LE

1

Publications

85

Citations

1

H-Index

1982

Active since

Affiliations

Nokia (United States)(Current)

Levendel is an author at Nokia (United States) specializing in computer engineering, test generation, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsTest GenerationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

1982–1982

1

Publications

1

Test Generation Algorithms for Computer Hardware Description Languages

Levendel, Menon · IEEE Transactions on Computers · 1982 · 85 citations

Function Variables, Test Generation Algorithms, Engineering +19

Rows per page

1–1 of 1