Statistics
Publications
2
Citations
45
H-Index
2
Active since
2010
Affiliations
Saarland University(Current)
Hans-Jörg Peter is an author at Saarland University specializing in formal methods, vehicle safety engineering, and formal safety verification.
Publications per year
2010–2013
2
2
Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams
Rüdiger Ehlers, Daniel Fass, Michael Gerke et al. · 2010 · 20 citations
1–2 of 2