Concepedia

Author

Markus Wedler

University of Kaiserslautern

Also Known As

M. Wedler, Markus Wedler, Wedler, Markus

48

Publications

435

Citations

11

H-Index

30

Concepts

All Affiliations

University of KaiserslauternFraunhofer Institute for Industrial Mathematics
MW

About

Markus Wedler is an author at University of Kaiserslautern specializing in formal methods, formal verification, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

10

281

2

Computer Science

9

9

231

3

Computer Engineering

8

8

219

4

Systems Engineering

6

6

186

5

Computer Architecture

5

5

167

Markus Wedler

×

10

Publications

281

Citations

10

H-Index

YearCitations

Page 1