1
Publications
44
Citations
1
H-Index
2022
Active since
Affiliations
Technical University of Munich(Current)
Paul Moosbrugger is an author at Technical University of Munich specializing in engineering, formal methods, and automated reasoning.
Top concepts
AutomationEngineeringVerificationFormal MethodsComputer ScienceTraffic ManagementAutomated ReasoningFormal VerificationSystems EngineeringTransportation Engineering
Publications per year
2022–2022
1
1
Rows per page
1–1 of 1