Concepedia

Author

Matthias Hanke

Technische Universität Dresden

Also Known As

Hanke, Matthias, Matthias Hanke

5

Publications

61

Citations

2

H-Index

11

Concepts

All Affiliations

Technische Universität Dresden
MH

About

Matthias Hanke is an author at Technische Universität Dresden specializing in formal verification, system software, and real-time systems.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

42

2

Computer Engineering

1

1

42

3

Computer Science

1

1

42

4

Systems Engineering

1

1

42

5

Process Control

1

1

42

Matthias Hanke

×

2

Publications

61

Citations

2

H-Index

YearCitations

Page 1