5
Publications
105
Citations
5
H-Index
2018
Active since
Affiliations
Technical University of Munich(Current)
Johanna Baehr is an author at Technical University of Munich specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsHardware SecurityFormal VerificationReverse EngineeringComputer EngineeringComputer ArchitectureVerificationSoftware Design
Publications per year
2018–2022
5
5
Rows per page
1–5 of 5