Concepedia

Author

Matthew Sutter

United States Air Force Research Laboratory

Also Known As

Matthew Sutter

3

Publications

52

Citations

2

H-Index

7

Concepts

All Affiliations

United States Air Force Research Laboratory
MS

About

Matthew Sutter is an author at United States Air Force Research Laboratory specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

49

2

Computer Engineering

1

1

49

3

Computer Architecture

1

1

49

4

Formal Methods

1

1

49

5

Formal Verification

1

1

49

Matthew Sutter

×

1

Publications

49

Citations

1

H-Index

YearCitations

Page 1