Concepedia

Author

James Schaffranek

Battelle

Also Known As

James Schaffranek

3

Publications

63

Citations

2

H-Index

7

Concepts

All Affiliations

BattelleUnited States Air Force Research Laboratory
JS

About

James Schaffranek is an author at Battelle specializing in formal verification, engineering, and computer architecture.

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

James Schaffranek

×

2

Publications

63

Citations

2

H-Index

YearCitations

Page 1