Concepedia

Author

Friedrich von Henke

Also Known As

F. Von Henke, F. v Henke, F. von Henke, Friedrich von Henke, von Henke, Friedrich

22

Publications

879

Citations

12

H-Index

43

Concepts

All Affiliations

FV

About

Friedrich von Henke is an author at Universität Ulm specializing in verification, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

744

2

Computer Science

6

6

708

3

Systems Engineering

6

6

730

4

Computer Engineering

4

4

584

5

Asynchronous Circuits

1

1

91

Friedrich von Henke

×

8

Publications

757

Citations

8

H-Index

YearCitations

Page 1