26
Publications
800
Citations
17
H-Index
1982
Active since
Affiliations
Peter Herrmann is an author at Norwegian University of Science and Technology specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringSystems EngineeringComputer ScienceFormal VerificationFormal MethodsInformation SecurityVerificationSoftware DesignSystem SoftwareSoftware Analysis
Publications per year
1982–2024
26
26
A framework for modeling transfer protocols
Peter Herrmann, Heiko Krumm · Computer Networks · 2000 · 57 citations
Rows per page
1–5 of 26