Concepedia

Gundula Blohm

GB

1

Publications

26

Citations

1

H-Index

2013

Active since

Affiliations

Politecnico di Milano(Current)

Gundula Blohm is an author at Politecnico di Milano specializing in formal methods, formal verification, and system software.

Top concepts

Publications per year

2013–2013

1

Publications

1

Formal verification and validation of embedded systems: the UML-based MADES approach

Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos et al. · Software & Systems Modeling · 2013 · 26 citations · Full text

, , +15

Rows per page

1–1 of 1