Concepedia

Author

D.C. Jessep

Also Known As

D.C. Jessep

8

Publications

182

Citations

6

H-Index

26

Concepts

All Affiliations

DJ

About

D.C. Jessep is an author at IBM (United States) specializing in formal methods, computer engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

170

2

Computer Engineering

4

4

170

3

Computer Science

4

4

170

4

Computer Architecture

3

3

156

5

Systems Engineering

2

2

137

D.C. Jessep

×

4

Publications

170

Citations

4

H-Index

YearCitations

Page 1