Concepedia

Author

Diana Deyo

The Ohio State University

Also Known As

Diana Deyo

1

Publications

101

Citations

1

H-Index

12

Concepts

All Affiliations

The Ohio State University
DD

About

Diana Deyo is an author at The Ohio State University specializing in formal methods, software engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

101

2

Computer Science

1

1

101

3

Systems Engineering

1

1

101

4

Design

1

1

101

5

Program Evaluation

1

1

101

Diana Deyo

×

1

Publications

101

Citations

1

H-Index

YearCitations

Page 1