Statistics
Publications
13
Citations
411
H-Index
11
Active since
2000
Affiliations
Florian Klein is an author at Technische Universität Ilmenau specializing in systems engineering, health professions, and hearing science.
Publications per year
2000–2022
13
13
Symbolic invariant verification for systems with dynamic structural adaptation
Basil Becker, Dirk Beyer, Holger Giese et al. · 2006 · 115 citations
1–5 of 13