Alexander Kortus is an author at University of Freiburg specializing in reliability, systems engineering, and engineering.
Top concepts
StatisticsEngineeringReliabilityVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2008–2008
1
1
Probabilistic Model Checking and Reliability of Results
Ralf Wimmer, Alexander Kortus, Marc Herbstritt et al. · 2008 · 11 citations
Rows per page
1–1 of 1